A Transformation Tool for Pure Prolog Programs.

Jacob Brunekreef A Transformation Tool for Pure Prolog Programs. 130-145 1996 conf/lopstr/1996 LOPSTR db/conf/lopstr/lopstr96.html#Brunekreef96