Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. - Khalil Ben Mohamed; Michel Leclère; Marie-Laure Mugnier (AIMSA, 2010)

Containment of Conjunctive Queries with Negation: Algorithms and Experiments. - Khalil Ben Mohamed; Michel Leclère; Marie-Laure Mugnier (DEXA (2), 2010)

Traitement de requêtes conjonctives avec négation : algorithmes et expérimentations. (Processing of Conjunctive Queries with Negation: Algorithms and Experiments). - Khalil Ben Mohamed (2010)

A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. - Khalil Ben Mohamed; Michel Leclère; Marie-Laure Mugnier (DEXA (1), 2011)

System Architecture to Implement a Conceptual Graphs Storage in an RDF Quad Store. - Khalil Ben Mohamed; Benjamin Chu Min Xian; Dickson Lukose (ICCS, 2013)