Lennart Beckman Rune Gustavsson Annika Wærn An Algebraic Model of Parallel Execution of Logic Programs 50-57 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#BeckmanGW86