A SAT-based Decision Procedure for ALC.

Fausto Giunchiglia, Roberto Sebastiani

Browse the full KR paper archive.