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

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