Paul Brna, Alan Bundy, Helen Pain. A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. In ALPUK. pages 22-55, 1990.
@inproceedings{BrnaBP90, title = {A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs}, author = {Paul Brna and Alan Bundy and Helen Pain}, year = {1990}, tags = {Prolog, debugging}, researchr = {https://researchr.org/publication/BrnaBP90}, cites = {0}, citedby = {0}, pages = {22-55}, booktitle = {ALPUK}, }