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

by E Lamma, P Mello, A Natali
Venue:Proceedings of the Sixth International Conference on Logic Programming