Michel Billaud Simple Operational and Denotational Semantics for Prolog with Cut. 193-208 1990 71 Theor. Comput. Sci. 2 db/journals/tcs/tcs71.html#Billaud90