Zsolt Zombori. A Resolution Based Description Logic Calculus. Acta Cybernetica, 19(3):571-588, 2010. [ PDF ]
This document was translated from BibTEX by bibtex2html