Evaluating Optimised Decision Procedures for Propositional Modal K(m) Satisfiability
I. Horrocks and P. F. Patel−Schneider
Annote
AKA: Horrocks99f
Copyright
http://web.comlab.ox.ac.uk/oucl/work/ian.horrocks/Publications/download/2002/HoPaJAR.pdf
ISBN
1586030612
ISSN
0168−7433
Journal
J. of Automated Reasoning
Month
FEB
Number
2
Pages
173–204
Publisher
Springer
Volume
28
Year
2002