Lennart Beckman

Towards a Formal Semantics for Concurrent Logic Programming Languages

Lennart Beckman, L. Beckman, 1986, ICLP.

A Partial Evaluator, and its Use as a Programming Tool

Erik Sandewall, Lennart Beckman, Anders Haraldson, 1976, Artif. Intell..

An Algebraic Model of Parallel Execution of Logic Programs

Rune Gustavsson, Annika Wærn, Lennart Beckman, 1986, LICS.