Automated Debugging of Non-Terminating Prolog Programs

Anna-Maria Emde, Mireille Ducassé. Automated Debugging of Non-Terminating Prolog Programs. In LPE. pages 35-39, 1990.

Abstract

Abstract is missing.