M. Cameron Maria J. García de la Banda Kim Marriott Peter Moulder ViMer: a visual debugger for mercury. 56-66 2003 conf/ppdp/2003 PPDP http://doi.acm.org/10.1145/888251.888258 db/conf/ppdp/ppdp2003.html#CameronBMM03