Roman Kontchakov and Frank Wolter and
Michael Zakharyaschev, “Logic-based ontology comparison and module extraction, with an application to DL-Lite”, Artif. Intell., 174:15 (2010), 1093–1141
Frank Wolter and
Michael Zakharyaschev, “Undecidability of the unification and admissibility problems for modal and description logics”, ACM Trans. Comput. Log., 9:4 (2008)
Gabbay, D M and Kurucz, A and Wolter, F and Zakharyaschev, M, Many-dimensional modal logics: theory and applications, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 2003
Ian M. Hodkinson and
Frank Wolter and Michael Zakharyaschev, “Decidable fragment of first-order temporal logics”, Ann. Pure Appl. Logic, 106:1-3 (2000), 85–134
Alexander Chagrov, Michael Zakharyaschev, Modal Logic, Oxford Logic Guides, 35, Clarendon Press, Oxford, 1997
