A Partial Evaluator, and its Use as a Programming Tool. - Lennart Beckman; Anders Haraldson; Östen Oskarsson; Erik Sandewall (Artif. Intell., 1976)

Towards a Formal Semantics for Concurrent Logic Programming Languages. - Lennart Beckman (ICLP, 1986)

An Algebraic Model of Parallel Execution of Logic Programs - Lennart Beckman; Rune Gustavsson; Annika Wærn (LICS, 1986)