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