T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-09, 2008; 17 pages.