1. Brown, M., Somogyi, Z.: Annotated event traces for declarative debugging (2003) Available from,
http://www.cs.mu.oz.au/mercury/
2. Byrd, L.: Understanding the control flow of Prolog programs. In: Proceedings of the 1980 Logic Programming Workshop, Debrecen, Hungary, July 1980, pp. 127–138 (1980)
3. MacLarty, I.: Practical declarative debugging of Mercury programs. MSc thesis, University of Melbourne (July 2005)
4. MacLarty, I., Somogyi, Z., Brown, M.: Divide-and-query and subterm dependency tracking in the Mercury declarative debugger. In: Proceedings of AADEBUG 2005, Monterey, California (September 2005)
5. Nilsson, H.: Tracing piece by piece: affordable debugging for lazy functional languages. In: Proceedings of ICFP 1999, Paris, France, pp. 36–47 (September 1999)