On the transformation of a Prolog program to a more efficient binary program (1993)

by B Demoen
Venue:In [38], 242--252