The extended Andorra model with implicit control (1990)

by D H D Warren
Venue:ICLP'90 Workshop on Parallel Logic Programming