Zombori, Z. 2010. A resolution based description logic calculus. Acta Cybernetica. 19, 3 (Jan. 2010), 571-590.