A SAT-based decision procedure for ALC, in (1996)

by F Giunchiglia, R Sebastiani
Venue:Principals of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR’96