Complete First-Order Axiomatization of the Construction of Trees On an Ordered Set. - Khalil Djelloul (FCS, 2005)

About the Combination of Trees and Rational Numbers in a Complete First-Order Theory. - Khalil Djelloul (FroCoS, 2005)

Extension of First-Order Theories into Trees. - Khalil Djelloul; Thi-Bich-Hanh Dao (AISC, 2006)

Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. - Marc Meister; Khalil Djelloul; Thom W. Frühwirth (CSCLP, 2006)

Solving First-Order Constraints in the Theory of the Evaluated Trees. - Thi-Bich-Hanh Dao; Khalil Djelloul (ICLP, 2006)

Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. - Khalil Djelloul; Thi-Bich-Hanh Dao (SAC, 2006)

Complete First-Order Axiomatization of Finite or Infinite M-extended Trees. - Khalil Djelloul; Thi-Bich-Hanh Dao (WLP, 2006)

théories complètes autour des arbres. - Khalil Djelloul (2006)

A Unified Semantics for Constraint Handling Rules in Transaction Logic. - Marc Meister; Khalil Djelloul; Jacques Robin (LPNMR, 2007)

Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. - Khalil Djelloul; Thi-Bich-Hanh Dao; Thom W. Frühwirth (SAC, 2007)

Decomposable theories. - Khalil Djelloul (Theory Pract. Log. Program., 2007)

An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints. - Khalil Djelloul (CSCLP, 2008)

Combination of decomposability and propagation for solving first-order constraints in decomposable theories. - Khalil Djelloul (SAC, 2008)

Theory of finite or infinite trees revisited. - Khalil Djelloul; Thi-Bich-Hanh Dao; Thom W. Frühwirth (Theory Pract. Log. Program., 2008)

From exponential to almost linear decomposability of finite or infinite trees. - Khalil Djelloul (SAC, 2009)

A full first-order constraint solver for decomposable theories. - Khalil Djelloul (Ann. Math. Artif. Intell., 2009)

From decomposable to residual theories. - Khalil Djelloul (Appl. Math. Comput., 2009)