Garbage Cut for Garbage Collection of Iterative Prolog Programs. - Jonas Barklund; Håkan Millroth (SLP, 1986)

Hash Tables in Logic Programming. - Jonas Barklund; Håkan Millroth (ICLP, 1987)

Integrating Complex Data Structures in Prolog. - Jonas Barklund; Håkan Millroth (SLP, 1987)

Using the Reform Inference System for Parallel Prolog. - Håkan Millroth (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

Parallel Reform Computations. - Sten-Åke Tärnlund; Håkan Millroth (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

Reforming Compilation of Logic Programs. - Håkan Millroth (ISLP, 1991)

Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications. - Jonas Barklund; Håkan Millroth (FGCS, 1992)

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

Reform Compilation for Nonlinear Recursion. - Håkan Millroth (LPAR, 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)

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

IGOR: A Tool for Developing Prolog Dataflow Analyzers - Magnus Nordin; Thomas Lindgren; Håkan Millroth (SAS, 1995)

Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract). - Håkan Millroth (ILPS, 1995)

SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs. - Håkan Millroth (J. Log. Program., 1995)

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