The Extended Andorra Model with Implicit Control (1990)

by D Warren
Venue:Parallel Logic Programming Workshop, Box 1263, S-163 13 Spanga, SWEDEN. SICS