An Analysis of Empirical Testing for Modal Decision Procedures
I. Horrocks‚ P. F. Patel−Schneider and R. Sebastiani
Details
| Journal |
Logic Journal of the IGPL |
| Number |
3 |
| Pages |
293–323 |
| Volume |
8 |
| Year |
2000 |