General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase. - Lukas Gerlach 002; David Carral (AAAI, 2023)

ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks. - Stefan Ellmauthaler; Lukas Gerlach 002 (AI³@AI*IA, 2023)

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract). - Lukas Gerlach 002; David Carral (Description Logics, 2023)

Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. - Lukas Gerlach 002; David Carral (KR, 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)

Finite Groundings for ASP with Functions: A Journey through Consistency. - Lukas Gerlach 002; David Carral; Markus Hecher (IJCAI, 2024)

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

Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract). - Lukas Gerlach 002; David Carral; Markus Hecher (NMR, 2024)

Restricted Chase Termination: You Want More than Fairness. - David Carral; Lukas Gerlach 002; Lucas Larroque; Michaël Thomazo (Proc. ACM Manag. Data, 2025)