Some Global Optimizations for a Prolog (1985)

by C S Mellish
Venue:Compiler, J. Logic Programming