An Overview of the Andorra Kernel Language. - Torkel Franzén; Seif Haridi; Sverker Janson (ELP, 1991)

An Intuitionistic Predicate Logic Theorem Prover. - Dan Sahlin; Torkel Franzén; Seif Haridi (J. Log. Comput., 1992)

Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract). - Seif Haridi; Sverker Janson; Johan Montelius; Torkel Franzén; Per Brand; Kent Boortz; Björn Danielsson; Björn Carlson; Torbjörn Keisu; Dan Sahlin; Thomas Sjöland (PPCP, 1993)

Transfinite progressions: a second look at completeness. - Torkel Franzén (Bull. Symb. Log., 2004)

What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem? - Torkel Franzén (CiE, 2006)