Evaluating Optimised Decision Procedures for Propositional Modal K(m) Satisfiability
I. Horrocks and P. F. Patel−Schneider
Address
Amsterdam
Book Title
Highlights of Satisfiability Research in the Year 2000
Editor
I. Gent and H. van Maaren and T. Walsh
ISBN
1 58603 061 2
Publisher
ISO Press
Series
Frontiers in Artificial Intelligence and Applications
Volume
63
Year
2000