Parallel Bounded Quantifiers - Preliminary Results. - Henrik Arro; Jonas Barklund; Johan Bevemyr (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

Exploiting Recursion-Parallelism in Prolog: Preliminary Results. - Johan Bevemyr; Thomas Lindgren; Håkan Millroth (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

Reform Prolog: The Language and Its Implementation. - Johan Bevemyr; Thomas Lindgren; Håkan Millroth (ICLP, 1993)

Exploiting Recursion-Parallelism in Prolog. - Johan Bevemyr; Thomas Lindgren; Håkan Millroth (PARLE, 1993)

Executing Bounded Quantifications on Shared Memory Multiprocessors. - Jonas Barklund; Johan Bevemyr (PLILP, 1993)

Parallel Bounded Quantification - Preliminary Results. - Henrik Arro; Jonas Barklund; Johan Bevemyr (ACM SIGPLAN Notices, 1993)

A Simple and Efficient Copying Garbage Collector for Prolog. - Johan Bevemyr; Thomas Lindgren (PLILP, 1994)

Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor. - Thomas Lindgren; Johan Bevemyr; Håkan Millroth (Euro-Par, 1995)

Prolog with arrays and bounded quantifications. - Jonas Barklund; Johan Bevemyr (J. Program. Lang., 1996)

A Pragmatic Approach to Compilation of Erlang. - Erik Johansson; Christer Jonsson; Thomas Lindgren; Johan Bevemyr; Håkan Millroth (PLILP, 1997)