A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. - Mireille Ducassé; Anna-Maria Emde (ICSE, 1988)

Automated debugging of non-terminating Prolog programs. - Anna-Maria Emde; Mireille Ducassé (SPLT, 1990)

OPIUM: a debugging environment for Prolog development and debugging research. - Mireille Ducassé; Anna-Maria Emde (ACM SIGSOFT Softw. Eng. Notes, 1991)

Aggregating Inductive Expertise on Partial Recursive Functions - Anna-Maria Emde; Britta Schinzel (Inf. Comput., 1992)