Skip to main content

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