Implementing an Efficient SAT Solver for a Probabilistic Description Logic.

Pavel Klinov, Bijan Parsia

Browse the full LPAR paper archive.