The logical semantics of the Prolog cut (1995)

by James Andrews
Venue:In International Logic Programming Symposium (ILPS 95