Preliminary version (1987)

by Logic Continuations J Logic Program
Venue:In Proc. of the Third International Conference on Logic Programming