On the Treatment of Cuts in Prolog Source-Level Tools.

Richard A. O'Keefe On the Treatment of Cuts in Prolog Source-Level Tools. 68-72 1985 SLP db/conf/slp/slp85.html#OKeefe85