Making Mercury Programs Tail Recursive. - Peter Ross; David Overton; Zoltan Somogyi (LOPSTR, 1999)

Constraint-based mode analysis of mercury. - David Overton; Zoltan Somogyi; Peter J. Stuckey (PPDP, 2002)

Herbrand Constraints in HAL. - Bart Demoen; Maria J. García de la Banda; Warwick Harvey; Kim Marriott; David Overton; Peter J. Stuckey (Program Development in Computational Logic, 2004)