A SAT-Based Decision Procedure for ALC (1996)

Cached

Download Links

by Fausto Giunchiglia , Roberto Sebastiani
Citations:57 - 16 self