An Intermediate Language to Support Prolog’s Unification (1989)

by Peter Van Roy
Venue:In NACLP 89