Matrix Proof Methods for Modal Logics. - Lincoln A. Wallen (IJCAI, 1987)

Learning and Applying Generalised Solutions using Higher Order Resolution. - Michael R. Donat; Lincoln A. Wallen (CADE, 1988)

Automated Theorem Proving in Non-Classical Logics. - Lincoln A. Wallen (SCAI, 1988)

Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics. - Lincoln A. Wallen (MIT Press, 1990)

Investigations into Proof-Search in a System of First-Order Dependent Function Types. - David J. Pym; Lincoln A. Wallen (CADE, 1990)

Logic Programming via Proof-valued Computations. - David J. Pym; Lincoln A. Wallen (ALPUK, 1992)

A Calculus for the Construction of Modular Prolog Programs. - Donald Sannella; Lincoln A. Wallen (J. Log. Program., 1992)

Representing Unification in a Logical Framework. - Jason Brown; Lincoln A. Wallen (UNIF, 1995)

Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). - Eike Ritter; David J. Pym; Lincoln A. Wallen (CADE, 1996)

On the Intuitionistic Force of Classical Search (Extended Abstract). - Eike Ritter; David J. Pym; Lincoln A. Wallen (TABLEAUX, 1996)

Proof-terms for classical and intuitionistic resolution. - Eike Ritter; David J. Pym; Lincoln A. Wallen (J. Log. Comput., 2000)

On the intuitionistic force of classical search. - Eike Ritter; David J. Pym; Lincoln A. Wallen (Theor. Comput. Sci., 2000)