Tiago Soares Ricardo Rocha Michel Ferreira Generic Cut Actions for External Prolog Predicates. 16-30 2006 conf/padl/2006 PADL http://dx.doi.org/10.1007/11603023_2 db/conf/padl/padl2006.html#SoaresRF06