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