Kim Marriott Harald Søndergaard Difference-List Transformation for Prolog. 125-157 1993 11 New Generation Comput. 2 db/journals/ngc/ngc11.html#MarriottS93