Normalisations of Existential Rules: Not so Innocuous! - David Carral; Lucas Larroque; Marie-Laure Mugnier; Michaël Thomazo (KR, 2022)

Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable. - David Carral; Lucas Larroque; Michaël Thomazo (KR, 2024)

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

No Cliques Allowed: The Next Step Towards BDD/FC Conjecture. - Lucas Larroque; Piotr Ostropolski-Nalewaja; Michaël Thomazo (Proc. ACM Manag. Data, 2025)