Uniform abstraction, atomicity and contractions in the comparative semantics of concurrent prolog (1988)

by J W de Bakker, J N Kok
Venue:In Proe. Fifth Generation Computer Systems