G.J. Duck, Rémy Haemmerlé, M. Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference. Theory and Practice of Logic Programming, 30th Int’l. Conference on Logic Programming (ICLP’14) Special Issue, Vol. 14, Num. 4-5, pages 619–632, Cambridge U. Press, 2014.