The design of an abstract machine for efficient implementation of contexts in logic programming (1989)

by E Lamma, P Mello, A Natali
Venue:Proc. 6th Int. Conference on Logic Programming