The Extended Andorra Model with Implicit Control (1990)

by D H D Warren
Venue:Presented at ICLP’90 Workshop on Parallel Logic Programming, Eilat