An analysis of empirical testing for modal decision procedures

by Ian Horrocks , Peter F. Patel-Schneider , Roberto Sebastiani
Venue:LOGIC JOURNAL OF THE IGPL
Citations:23 - 10 self