Michael Zakharyaschev

248 papers A* 39A 6B 25C 10Misc 1Journal 95Unranked 68

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Containment of Conjunctive LTL Queries. DL Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2025	J	`jnl`	Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic. Log. Methods Comput. Sci. Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2025	J	`jnl`	From Interpolating Formulas to Separating Languages and Back Again. CoRR Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2025	C	`conf`	Interpolation and Separation Problems for Linear Temporal Logics (Invited Talk). TIME Michael Zakharyaschev
2025	J	`jnl`	On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version). CoRR Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2025	A	`conf`	On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators. ICDT Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2025	A*	`conf`	Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. LICS Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
2025	J	`jnl`	Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. CoRR Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
2024	A*	`conf`	Extremal Separation Problems for Temporal Instance Queries. IJCAI Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2024	J	`jnl`	Extremal Separation Problems for Temporal Instance Queries. CoRR Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2024	—	`conf`	Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. Description Logics Frank Wolter, Michael Zakharyaschev
2024	J	`jnl`	Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. CoRR Frank Wolter, Michael Zakharyaschev
2024	—	`conf`	On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). Description Logics Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2024	—	`conf`	Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). Description Logics Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
2024	B	`conf`	The Interpolant Existence Problem for Weak K4 and Difference Logic. AiML Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2024	J	`jnl`	The interpolant existence problem for weak K4 and difference logic. CoRR Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2024	A*	`conf`	Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. KR Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2023	—	`conf`	A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2023	J	`jnl`	A non-uniform view of Craig interpolation in modal logics with linear frames. CoRR Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. J. Artif. Intell. Res. Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2023	A*	`conf`	Definitions and (Uniform) Interpolants in First-Order Modal Logic. KR Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Definitions and (Uniform) Interpolants in First-Order Modal Logic. CoRR Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2023	A*	`conf`	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2023	—	`conf`	Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2023	J	`jnl`	Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CoRR Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022	J	`jnl`	A tetrachotomy of ontology-mediated queries with a covering axiom. Artif. Intell. Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
2022	J	`jnl`	Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic. CoRR Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2022	J	`jnl`	First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022	A*	`conf`	On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022	—	`conf`	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022	A*	`conf`	Unique Characterisability and Learnability of Temporal Instance Queries. KR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022	J	`jnl`	Unique Characterisability and Learnability of Temporal Instance Queries. CoRR Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2021	A*	`conf`	Deciding Boundedness of Monadic Sirups. PODS Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
2021	C	`conf`	Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. TIME Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021	C	`conf`	Deciding FO-definability of Regular Languages. RAMiCS Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021	J	`jnl`	Deciding FO-definability of Regular Languages. CoRR Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021	J	`jnl`	Deciding boundedness of monadic sirups. CoRR Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
2021	J	`jnl`	First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2021	J	`jnl`	First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020	A*	`conf`	A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. KR Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
2020	J	`jnl`	A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom. CoRR Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev
2020	A*	`conf`	Boolean Role Inclusions in DL-Lite With and Without Time. KR Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020	J	`jnl`	First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020	—	`conf`	Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic. Description Logics Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2020	—	`conf`	Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. RW Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2019	—	`conf`	A Note on DL-Lite with Boolean Role Inclusions. Description Logics Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019	—	`conf`	Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna. Description Logic, Theory Combination, and All That Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev
2019	J	`jnl`	Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). CoRR Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2019	A*	`conf`	Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. IJCAI Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2019	J	`jnl`	Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. J. Symb. Log. Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
2019	A*	`conf`	Model Comparison Games for Horn Description Logics. LICS Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019	J	`jnl`	Model Comparison Games for Horn Description Logics. CoRR Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019	—	`conf`	Model Comparison Games for Horn Description Logics: A Summary. Description Logics Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019	J	`jnl`	Ontology-based access to temporal data with Ontop: A framework proposal. Int. J. Appl. Math. Comput. Sci. Elem Güzel Kalayci, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2019	J	`jnl`	Query Inseparability for ALC Ontologies. CoRR Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019	J	`jnl`	Query inseparability for ALC ontologies. Artif. Intell. Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019	C	`conf`	Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. TIME Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2018	J	`jnl`	Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2018	B	`conf`	On Strictly Positive Modal Logics with S4.3 Frames. Advances in Modal Logic Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2018	—	`conf`	On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. Description Logics Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2018	A*	`conf`	Ontology-Based Data Access: A Survey. IJCAI Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev
2018	J	`jnl`	Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. J. ACM Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2018	J	`jnl`	Querying Log Data with Metric Temporal Logic. J. Artif. Intell. Res. Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2018	—	`conf`	STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries. OTM Conferences (2) Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev
2018	—	`conf`	Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering. Description Logics Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova
2017	—	`conf`	A Framework for Temporal Ontology-Based Data Access: A Proposal. ADBIS (Short Papers and Workshops) Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017	J	`jnl`	Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
2017	J	`jnl`	Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators. CoRR Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
2017	J	`jnl`	Metric Temporal Logic for Ontology-Based Data Access over Log Data. CoRR Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017	—	`conf`	More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom. KESW Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev
2017	—	`conf`	On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom. Description Logics Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev
2017	—	`conf`	On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. Description Logics Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2017	—	`conf`	Ontology-Based Data Access to Slegge. ISWC (2) Dag Hovland, Roman Kontchakov, Martin G. Skjæveland, Arild Waaler, Michael Zakharyaschev
2017	A*	`conf`	Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. AAAI Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017	C	`conf`	Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2017	—	`conf`	Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. Description Logics Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2017	J	`jnl`	Querying Log Data with Metric Temporal Logic. CoRR Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017	A*	`conf`	The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. PODS Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
2017	J	`jnl`	The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. CoRR Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
2016	A*	`conf`	Conservative Rewritability of Description Logic TBoxes. IJCAI Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2016	J	`jnl`	Games for query inseparability of description logic knowledge bases. Artif. Intell. Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	J	`jnl`	Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
2016	—	`conf`	Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	J	`jnl`	Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. CoRR Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2016	J	`jnl`	Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	A*	`conf`	Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016	A*	`conf`	Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. IJCAI Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
2016	—	`conf`	Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. Description Logics Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2016	J	`jnl`	Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. CoRR Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2016	—	`conf`	When is Query Inseparability for ALC Ontologies Decidable? Description Logics Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015	—	`conf`	Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2015	A*	`conf`	First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015	—	`conf`	Interval Temporal Description Logics. Description Logics Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2015	A*	`conf`	Tractable Interval Temporal Propositional and Description Logics. AAAI Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2015	A*	`conf`	When Are Description Logic Knowledge Bases Indistinguishable? IJCAI Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	J	`jnl`	A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2014	—	`conf`	An Introduction to Description Logics and Query Rewriting. Reasoning Web Roman Kontchakov, Michael Zakharyaschev
2014	—	`conf`	Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime. ISWC (1) Roman Kontchakov, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao, Michael Zakharyaschev
2014	J	`jnl`	On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases. CoRR Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2014	—	`conf`	On the succinctness of query rewriting over shallow ontologies. CSL-LICS Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2014	—	`conf`	Query Inseparability by Games. Description Logics Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	A*	`conf`	Query Inseparability for Description Logic Knowledge Bases. KR Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	J	`jnl`	Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artif. Intell. Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
2014	—	`conf`	Temporal OBDA with LTL and DL-Lite. Description Logics Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014	J	`jnl`	The DL-Lite Family and Relations. CoRR Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2014	J	`jnl`	The price of query rewriting in ontology-based data access. Artif. Intell. Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev
2013	J	`jnl`	A Decidable Extension of SROIQ with Complex Role Chains and Unions. J. Artif. Intell. Res. Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev
2013	—	`conf`	Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. Description Logics Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2013	—	`conf`	OBDA with Ontop. ORE Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
2013	—	`conf`	Ontology-Based Data Access with Databases: A Short Course. Reasoning Web Roman Kontchakov, Mariano Rodriguez-Muro, Michael Zakharyaschev
2013	—	`conf`	Ontology-Based Data Access: Ontop of Databases. ISWC (1) Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
2013	—	`conf`	Ontop at Work. OWLED Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
2013	—	`conf`	Query Answering via Modal Definability with FaCT++: First Blood. Description Logics Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin
2013	—	`conf`	Query Rewriting and Optimisation with Database Dependencies in Ontop. Description Logics Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
2013	—	`conf`	Query Rewriting over Shallow Ontologies. Description Logics Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2013	J	`jnl`	Temporal Description Logic for Ontology-Based Data Access (Extended Version) CoRR Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013	A*	`conf`	Temporal Description Logic for Ontology-Based Data Access. IJCAI Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013	—	`conf`	Temporalising OWL 2 QL. Description Logics Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2013	B	`conf`	The Complexity of Clausal Fragments of LTL. LPAR Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2013	J	`jnl`	The Complexity of Clausal Fragments of LTL. CoRR Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2013	J	`jnl`	Topological Logics with Connectedness over Euclidean Spaces. ACM Trans. Comput. Log. Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
2012	J	`jnl`	A Cookbook for Temporal Conceptual Data Modelling with Description Logics CoRR Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2012	A*	`conf`	Conjunctive Query Answering with OWL 2 QL. KR Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
2012	J	`jnl`	Exponential Lower Bounds and Separation for Query Rewriting CoRR Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2012	—	`conf`	Exponential Lower Bounds and Separation for Query Rewriting. ICALP (2) Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2012	—	`conf`	Long Rewritings, Short Rewritings. Description Logics Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2011	J	`jnl`	Combining Spatial and Temporal Logics: Expressiveness vs. Complexity CoRR David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2011	A*	`conf`	Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
2011	C	`conf`	Logic in the Time of WWW: An OWL View. WoLLIC Michael Zakharyaschev
2011	—	`conf`	Module Extraction via Query Inseparability in OWL 2 QL. Description Logics Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
2011	—	`conf`	On (In)Tractability of OBDA with OWL 2 QL. Description Logics Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
2011	—	`conf`	On P/NP Dichotomies for EL Subsumption under Relational Constraints. Description Logics Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2011	J	`jnl`	On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces CoRR Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
2011	A*	`conf`	On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. IJCAI Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
2011	—	`conf`	Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. RR Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
2011	—	`ed.`	Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 Description Logics Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev
2011	—	`conf`	Query Inseparability and Module Extraction in OWL 2 QL. WoMO Michael Zakharyaschev
2011	—	`conf`	Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2011	A*	`conf`	The Combined Approach to Ontology-Based Data Access. IJCAI Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2011	J	`jnl`	Topological Logics with Connectedness over Euclidean Spaces CoRR Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
2010	J	`jnl`	A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Log. Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev
2010	A	`conf`	Complexity of Reasoning over Temporal Data Models. ER Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010	A*	`conf`	Interpreting Topological Logics over Euclidean Spaces. KR Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
2010	B	`conf`	Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. Advances in Modal Logic Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2010	J	`jnl`	Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2010	A*	`conf`	Past and Future of DL-Lite. AAAI Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010	J	`jnl`	Spatial logics with connectedness predicates Log. Methods Comput. Sci. Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
2010	—	`conf`	Temporal Conceptual Modelling with DL-Lite. Description Logics Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010	A*	`conf`	The Combined Approach to Query Answering in DL-Lite. KR Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2009	—	`conf`	Adding Weight to DL-Lite. Description Logics Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009	—	`conf`	Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2009	—	`conf`	DL-Lite without UNA. Description Logics Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009	—	`conf`	Extending DL-Lite Sometime in the Future. Description Logics Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2009	A*	`conf`	Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
2009	J	`jnl`	The DL-Lite Family and Relations. J. Artif. Intell. Res. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009	—	`conf`	Which Kind of Module Should I Extract? Description Logics Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev
2008	A*	`conf`	Can You Tell the Difference Between DL-Lite Ontologies?. KR Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2008	—	`conf`	Checking DL-Lite Modularity with QBF Solvers. Description Logics Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2008	—	`conf`	DL-Lite and Role Inclusions. ASWC Roman Kontchakov, Michael Zakharyaschev
2008	B	`conf`	On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
2008	C	`conf`	Temporal Description Logics: A Survey. TIME Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2008	B	`conf`	Topology, connectedness, and modal logic. Advances in Modal Logic Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
2008	J	`jnl`	Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Log. Frank Wolter, Michael Zakharyaschev
2007	J	`jnl`	A Logic for Concepts and Similarity. J. Log. Comput. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
2007	—	`conf`	Complexity of Reasoning in Entity Relationship Models. Description Logics Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2007	A*	`conf`	DL-Lite in the Light of First-Order Logic. AAAI Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2007	—	`ch.`	Modal decision problems. Handbook of Modal Logic Frank Wolter, Michael Zakharyaschev
2007	—	`conf`	Modularity in DL-Lite. Description Logics Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2007	—	`conf`	Query Answering in Expressive Variants of DL-Lite. SEBD Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2007	A	`conf`	Reasoning over Extended ER Models. ER Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2007	—	`ch.`	Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2007	—	`conf`	Temporalising Logics: Fifteen Years After. FroCoS Michael Zakharyaschev
2007	C	`conf`	Temporalising Tractable Description Logics. TIME Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2006	B	`conf`	Automated Reasoning About Metric and Topology. JELIA Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
2006	B	`conf`	Conservative extensions in modal logic. Advances in Modal Logic Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2006	B	`conf`	Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2006	B	`conf`	From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
2006	J	`jnl`	Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Log. David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2006	J	`jnl`	On Dynamic Topological and Metric Logics. Stud Logica Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
2006	J	`jnl`	Undecidability of the unification and admissibility problems for modal and description logics CoRR Frank Wolter, Michael Zakharyaschev
2006	J	`jnl`	Willem Blok and Modal Logic. Stud Logica Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter
2005	—	`conf`	'Closer' representation and reasoning. Description Logics Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
2005	J	`jnl`	A logic for metric and topology. J. Symb. Log. Frank Wolter, Michael Zakharyaschev
2005	J	`jnl`	Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
2005	B	`conf`	Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
2005	—	`conf`	Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2005	J	`jnl`	Products of 'transitive' modal logics. J. Symb. Log. David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2005	A	`conf`	Temporal Logics over Transitive States. CADE Boris Konev, Frank Wolter, Michael Zakharyaschev
2005	J	`jnl`	Undecidability of first-order intuitionistic and modal logics with two variables. Bull. Symb. Log. Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev
2004	J	`jnl`	E-connections of abstract description systems. Artif. Intell. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2004	J	`jnl`	On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2004	J	`jnl`	Temporalising Tableaux. Stud Logica Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003	B	`conf`	A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003	B	`ed.`	Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September - 2 October 2002 Advances in Modal Logic Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2003	—	`conf`	E-connections of Description Logics. Description Logics Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2003	J	`jnl`	Logics of metric spaces. ACM Trans. Comput. Log. Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev
2003	C	`conf`	On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. TIME Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2003	Misc	`conf`	On the Computational Complexity of Spatio-Temporal Logics. FLAIRS David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2003	A*	`conf`	Reasoning about distances. IJCAI Frank Wolter, Michael Zakharyaschev
2003	—	`conf`	Resasoning about Concepts and Similarity. Description Logics Carsten Lutz, Frank Wolter, Michael Zakharyaschev
2002	B	`conf`	A Note on Relativised Products of Modal Logics. Advances in Modal Logic Ágnes Kurucz, Michael Zakharyaschev
2002	J	`jnl`	A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Stud Logica Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
2002	B	`conf`	A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev
2002	B	`ed.`	Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig, Germany, 4-7 October 2000 Advances in Modal Logic Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev
2002	J	`jnl`	Axiomatizing Distance Logics. J. Appl. Non Class. Logics Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Log. Frank Wolter, Michael Zakharyaschev
2002	A*	`conf`	Connecting Abstract Description Systems. KR Oliver Kutz, Frank Wolter, Michael Zakharyaschev
2002	A*	`conf`	Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2002	B	`conf`	Editorial Preface. Advances in Modal Logic Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Appl. Intell. Brandon Bennett, Anthony G. Cohn, Frank Wolter, Michael Zakharyaschev
2002	C	`conf`	On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Preface. Stud Logica Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter
2001	—	`conf`	A Note on Concepts and Distances. Description Logics Oliver Kutz, Frank Wolter, Michael Zakharyaschev
2001	J	`jnl`	Decidable Fragments of First-Order Modal Logics. J. Symb. Log. Frank Wolter, Michael Zakharyaschev
2001	B	`conf`	Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2001	J	`jnl`	On the Products of Linear Modal Logics. J. Log. Comput. Mark Reynolds, Michael Zakharyaschev
2001	—	`conf`	Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev
2001	A	`conf`	Tableaux for Temporal Description Logic with Constant Domains. IJCAR Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
2001	—	`conf`	The DLRUS Temporal Description Logic. Description Logics Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev
2000	B	`ed.`	Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 16-18 October 1998 Advances in Modal Logic Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing
2000	J	`jnl`	Decidable fragment of first-order temporal logics. Ann. Pure Appl. Log. Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2000	B	`conf`	Monodic Epistemic Predicate Logic. JELIA Holger Sturm, Frank Wolter, Michael Zakharyaschev
2000	J	`jnl`	Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. J. Log. Lang. Inf. Michael Zakharyaschev
2000	B	`conf`	Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2000	A	`conf`	Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI Frank Wolter, Michael Zakharyaschev
2000	A*	`conf`	Spatio-temporal representation and reasoning based on RCC-8. KR Frank Wolter, Michael Zakharyaschev
1999	J	`jnl`	Modal Description Logics: Modalizing Roles. Fundam. Informaticae Frank Wolter, Michael Zakharyaschev
1999	A*	`conf`	Multi-Dimensional Description Logics. IJCAI Frank Wolter, Michael Zakharyaschev
1998	B	`ed.`	Advances in Modal Logic 1, papers from the first workshop on "Advances in Modal logic," held in Berlin, Germany, 8-10 October 1996. Advances in Modal Logic Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev
1998	B	`conf`	Dynamic Description Logics. Advances in Modal Logic Frank Wolter, Michael Zakharyaschev
1998	A*	`conf`	On the Decidability of Description Logics with Modal Operators. KR Frank Wolter, Michael Zakharyaschev
1998	J	`jnl`	Speaking about Transitive Frames in Propositional Languages. J. Log. Lang. Inf. Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev
1998	—	`conf`	Temporalizing Description Logics. FroCoS Frank Wolter, Michael Zakharyaschev
1998	B	`conf`	The Origins of Modern Modal Logic. Advances in Modal Logic Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing
1997	J	`jnl`	Canonical Formulas for K4, Part III: The Finite Model Property. J. Symb. Log. Michael Zakharyaschev
1997	—	`book`	Modal Logic. Alexander V. Chagrov, Michael Zakharyaschev
1997	J	`jnl`	The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. Stud Logica Michael Zakharyaschev
1996	J	`jnl`	Canonical Formulas for K4, Part II: Confinal Subframe Logics. J. Symb. Log. Michael Zakharyaschev
1995	J	`jnl`	All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. Math. Log. Q. Michael Zakharyaschev, Alexander Alekseev
1995	J	`jnl`	On the Independent Axiomatizability of Modal and Intermediate Logics. J. Log. Comput. Alexander V. Chagrov, Michael Zakharyaschev
1994	J	`jnl`	A New Solution to a Problem of Hosoi and Ono. Notre Dame J. Formal Log. Michael Zakharyaschev
1993	J	`jnl`	A Sufficient Condition for the Finite Model Property of Modal Logics above K4. Log. J. IGPL Michael Zakharyaschev
1993	J	`jnl`	The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. J. Symb. Log. Alexander V. Chagrov, Michael Zakharyaschev
1992	J	`jnl`	Canonical Formulas for K4, Part I: Basic Results. J. Symb. Log. Michael Zakharyaschev
1992	J	`jnl`	Modal Companions of Intermediate Propositional Logics. Stud Logica Alexander V. Chagrov, Michael Zakharyaschev
1991	J	`jnl`	The disjunction property of intermediate propositional logics. Stud Logica Alexander V. Chagrov, Michael Zakharyaschev
1987	B	`conf`	Theorem Proving in Intermediate and Modal Logics. FCT Michael Zakharyaschev