Synthesis of a Unification Algorithm in a Logic Programming Calculus. - Lars-Henrik Eriksson (J. Log. Program., 1984)

A Survey of GCLA: A Definitional Approach to Logic Programming. - Martin Aronsson; Lars-Henrik Eriksson; Lars Hallnäs; Per Kreuger (ELP, 1989)

GCLA: Generalized Horn Clauses as a Programming Language. - Martin Aronsson; Lars-Henrik Eriksson; Anette Gäredal; Lars Hallnäs; Peter Olin (SCAI, 1989)

The programming language GCLA - A definitional approach to logic programming. - Martin Aronsson; Lars-Henrik Eriksson; Anette Gäredal; Lars Hallnäs; Peter Olin (New Gener. Comput., 1990)

A Finitary Version of the Calculus of Partial Inductive Defintions. - Lars-Henrik Eriksson (ELP, 1991)

The GCLA II Programming Language. - Martin Aronsson; Lars-Henrik Eriksson (PDK, 1991)

Finitary Partial Inductive Definitions as a General Logic. - Lars-Henrik Eriksson (ELP, 1993)

Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. - Lars-Henrik Eriksson (CADE, 1994)

Specifying Railway Interlocking Requirements for Practical Use. - Lars-Henrik Eriksson (SAFECOMP, 1996)

Using Formal Methods in a Retrospective Safety Case. - Lars-Henrik Eriksson (SAFECOMP, 2004)

The GTO Toolset and Method. - Lars-Henrik Eriksson (AVoCS, 2006)

Modal Logics for Nominal Transition Systems. - Tjark Weber; Lars-Henrik Eriksson; Joachim Parrow; Johannes Borgström; Ramunas Gutkovas (Arch. Formal Proofs, 2016)

Weak Nominal Modal Logic. - Joachim Parrow; Tjark Weber; Johannes Borgström; Lars-Henrik Eriksson (FORTE, 2017)