Surapong Auwatanamongkol Andrzej Ciepielewski Prasenjit Biswas Cut and Side-Effects in a Data-Driven Implementation of Prolog. 223-250 1994 12 New Generation Comput. 3 db/journals/ngc/ngc12.html#AuwatanamongkolCB94