Evaluating Optimised Decision Procedures for Propositional Modal K(m) Satisfiability
I. Horrocks and P. F. Patel−Schneider
Details
| 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 |