"Generic Cut Actions for External Prolog Predicates."

Tiago Soares, Ricardo Rocha, Michel Ferreira (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics