Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC.

Roberto Sebastiani Michele Vescovi Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC. 130-135 2006 conf/sat/2006 SAT http://dx.doi.org/10.1007/11814948_15 db/conf/sat/sat2006.html#SebastianiV06