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)

Efficient interpretation of Prolog programs. - Jonas Barklund (PLDI, 1987)

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

KL1 in Condition Graphs on a Connection Machine. - Jonas Barklund; Nils Hagner; Malik Wafin (FGCS, 1988)

Condition Graphs. - Jonas Barklund; Nils Hagner; Malik Wafin (ICLP/SLP, 1988)

What Is a Meta-Variable in Prolog? - Jonas Barklund (META, 1988)

Persistent Data Storage for Prolog. - Monika Danielsson; Jonas Barklund (DEXA, 1990)

An Intelligent Object Oriented Modelling to Legal Data Bases Combining Logic Programming and Hypertext. - Andreas Hamfelt; Jonas Barklund (DEXA, 1990)

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

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

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)

Integrating Reflection into SLD-Resolution. - Jonas Barklund; Stefania Costantini; Pierangelo Dell'Acqua; Gaetano Aurelio Lanzarone (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

Reflection through Constraint Satisfaction. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (ICLP, 1994)

A Basis for a Multi-Level Meta-Logic Programming Language. - Jonas Barklund; Katrin Boberg; Pierangelo Dell'Acqua (META, 1994)

Tabulation of Functions in Definite Clause Programs. - Jonas Barklund (PLILP, 1994)

SLD - Resolution with Reflection. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (ILPS, 1994)

Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. - Jonas Barklund; Andreas Hamfelt (J. Log. Program., 1994)

Bounded Quantifications for Iteration and Concurrency in Logic Programming. - Jonas Barklund (New Gener. Comput., 1994)

Semantical Properties of SLD-Resolution with Reflection. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (ICLP, 1995)

Vesper. - John Alan Robinson; Jonas Barklund (Machine Intelligence 15, 1995)

Semantical Properties of Encodings in Logic Programming. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (ILPS, 1995)

Characterizing Signal Behaviour Using Genetic Programming. - Per Jonsson; Jonas Barklund (Evolutionary Computing, AISB Workshop, 1996)

Multiple Metareasoning Agents for Flexible Query-Answering Systems. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (FQAS, 1996)

On the Number of Edges in Cycletrees. - Margus Veanes; Jonas Barklund (Inf. Process. Lett., 1996)

Construction of Natural Cycletrees. - Margus Veanes; Jonas Barklund (Inf. Process. Lett., 1996)

Natural Cycletrees: Flexible Interconnection Graphs. - Margus Veanes; Jonas Barklund (J. Parallel Distributed Comput., 1996)

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

Reflection principles in computational logic. - Jonas Barklund; Pierangelo Dell'Acqua; Stefania Costantini; Gaetano Aurelio Lanzarone (J. Log. Comput., 2000)