A framework for the principled debugging of Prolog programs how to debug non-terminating programs - Brna, Paul; Bundy, Alan; Pain, Helen (1990)