Z. Zombori, “A resolution based description logic calculus”, Acta Cybern, vol. 19, no. 3, pp. 571-590, Jan. 2010.