"An Algebraic Model of Parallel Execution of Logic Programs"

Lennart Beckman, Rune Gustavsson, Annika Wærn (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics