Using attributed variables in the implementation of concurrent and parallel logic programming systems (1995)

by M Hermenegildo, D Cabeza, M Carro
Venue:In Proc. 1995 Int. Conf. on Logic Programming