Concurrency and plan generation in a logic programming language with a sequential operator (1994)

by Alessio Guglielmi
Venue:Logic Programming, 11th International Conference, S. Margherita Ligure, Italy