Difference-list transformation for prolog (1993)

by K Marriott, H Søndergaard
Venue:New Generation Computing