Lennart Beckman, Rune Gustavsson, Annika Wærn. An Algebraic Model of Parallel Execution of Logic Programs. In Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA. pages 50-57, IEEE Computer Society, 1986.
Abstract is missing.