A Structured Database. - Sten-Åke Tärnlund (GI Jahrestagung, 1974)

An Interpreter For The Programming Languages Predicate Logic. - Sten-Åke Tärnlund (IJCAI, 1975)

An Axiomatic Data Base Theory. - Sten-Åke Tärnlund (Logic and Data Bases, 1977)

A First Order Theory of Data and Programs. - Keith L. Clark; Sten-Åke Tärnlund (IFIP Congress, 1977)

Inductive Reasoning in Mathematics. - Frank M. Brown; Sten-Åke Tärnlund (IJCAI, 1977)

Horn Clause Computability. - Sten-Åke Tärnlund (BIT, 1977)

A Natural Programming Calculus. - Åke Hansson; Sten-Åke Tärnlund (IJCAI, 1979)

Inductive Reasoning on Recursive Equations. - Frank M. Brown; Sten-Åke Tärnlund (Artif. Intell., 1979)

Deductive Modeling of Human Cognition. - Göran Hagert; Sten-Åke Tärnlund (IJCAI, 1981)

Towards a Derivation Editor. - Agneta Eriksson; Anna-Lena Johansson; Sten-Åke Tärnlund (ICLP, 1982)

Mechanization of an Oracle in a Debugging System. - Anneli Edman; Sten-Åke Tärnlund (IJCAI, 1983)

Logic Programming-From a Logic Point of View. - Sten-Åke Tärnlund (SLP, 1986)

What is Computation? (Panel Introduction). - Jörg H. Siekmann; Sten-Åke Tärnlund; Aaron Sloman; Andy Clark; Margaret A. Boden (ECAI, 1988)

Computations as Inferences (Panel Statement). - Sten-Åke Tärnlund (ECAI, 1988)

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

The Halting Problem for Deductive Synthesis of Logic Programs. - Kung-Kiu Lau; Mario Ornaghi; Sten-Åke Tärnlund (ICLP, 1994)

Steadfast Logic Programs. - Kung-Kiu Lau; Mario Ornaghi; Sten-Åke Tärnlund (J. Log. Program., 1999)

P is not equal to NP - Sten-Åke Tärnlund (CoRR, 2008)