Performance of DLP on Random Modal Formulae
I. Horrocks and P. F. Patel−Schneider
Book Title
Proceedings of the International Workshop on Description Logics (DL'99)
Editor
P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel−Schneider
Key
Proceedings of DL'99
Pages
120–124
Year
1999