An Analysis of Empirical Testing for Modal Decision Procedures (0)

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