A SAT-Based Decision Procedure for ALC (1996)

by Fausto Giunchiglia , Roberto Sebastiani
Citations:56 - 15 self