Efficient Dependency Analysis for Rule-Based Ontologies. - Larry González; Alex Ivliev; Markus Krötzsch; Stephan Mennicke (ISWC, 2022)

Efficient Dependency Analysis for Existential Rules (short paper). - Larry González; Alex Ivliev; Markus Krötzsch; Stephan Mennicke (AMW, 2023)

Nemo: First Glimpse of a New Rule Engine. - Alex Ivliev; Stefan Ellmauthaler; Lukas Gerlach 002; Maximilian Marx 001; Matthias Meißner; Simon Meusel; Markus Krötzsch (ICLP, 2023)

Nemo: A Scalable and Versatile Datalog Engine. - Alex Ivliev; Lukas Gerlach 002; Simon Meusel; Jakob Steinberg; Markus Krötzsch (Datalog, 2024)

Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. - Alex Ivliev; Lukas Gerlach 002; Simon Meusel; Jakob Steinberg; Markus Krötzsch (KR, 2024)

Towards Mass Spectrum Analysis with ASP. - Nils Küchenmeister; Alex Ivliev; Markus Krötzsch (LPNMR, 2024)