Some Global Optimizations for a Prolog Compiler (1985)

by C S Mellish
Venue:In JLP, Elsevier North-Holland