Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems (1995)

by M Hermenegildo, D Cabeza, M Carro
Venue:In Proc. of the Twelfth International Conference on Logic Programming