Saumya K. Debray A Simple Code Improvement Scheme for Prolog. 57-88 1992 13 J. Log. Program. 1 db/journals/jlp/jlp13.html#Debray92