A framework for the principled debugging of Prolog programs how to debug non-terminating programs - Brna, Paul; Bundy, Alan; Pain, Helen (University <Edinburgh> / Department of Artificial Intelligence: DAI research paper, 1990)