University timetabling using constraint handling rules. - Slim Abdennadher; Michael Marte (JFPLC, 1998)

University Course Timetabling Using Constraint Handling Rules. - Slim Abdennadher; Michael Marte (Appl. Artif. Intell., 2000)

A Modular Approach to Proving Confluence. - Michael Marte (FroCoS, 2002)

Soft constraint propagation and solving in CHRs. - Stefano Bistarelli; Thom W. Frühwirth; Michael Marte (SAC, 2002)

Soft Constraint Propagation and Solving in Constraint Handling Rules. - Stefano Bistarelli; Thom W. Frühwirth; Michael Marte; Francesca Rossi 001 (Comput. Intell., 2004)

Towards constraint-based school timetabling. - Michael Marte (Ann. Oper. Res., 2007)