An analysis of empirical testing for modal decision procedures (2000)

by I Horrocks, P F Patel-Schneider, R Sebastiani
Venue:Logic Journal of the IGPL