DMCA

A resolution-based decision procedure for SHOIQ (2006)

by Yevgeny Kazakov , Boris Motik
Venue:Proc. of the 3rd Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of LNAI
Citations:29 - 6 self