A SAT-based decision procedure for ALC (1996)

by F Giunchiglia, R Sebastiani
Venue:In Proc. of the 5th International Conference on Principles of Knowledge Representation and Reasoning - KR’96