- Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev, 11230, On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018, 441
- Vladislav Ryzhikov, Przemysław A. Wałęga, Michael Zakharyaschev, 12258, Reasoning Web. Declarative Artificial Intelligence, 2020, 109
- Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, “Ontology-Mediated Queries”, J. ACM, 65, no. 5, 2018, 1
- Pablo Barcelo, Cristina Feier, Carsten Lutz, Andreas Pieris, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, 1
- Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan, “Efficient Datalog Rewriting for Query Answering in TGD Ontologies”, IEEE Trans. Knowl. Data Eng., 2021, 1