Sandro Etalle
Univ. of Amsterdam, Amsterdam, The Netherlands
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming