ViMer: a visual debugger for mercury. - M. Cameron; Maria J. García de la Banda; Kim Marriott; Peter Moulder (PPDP, 2003)