Generating Hard Modal Problems for Modal Decision Procedures
I. Horrocks and P. F. Patel−Schneider
Book Title
Proceedings of the first workshop on Methods for Modalities (M4M−1)
Key
Proceedings of M4M1
Month
MAY
Year
1999
I. Horrocks and P. F. Patel−Schneider