Checking Proofs in the Metamathematics of First Order Logic. - Mario Aiello; Richard W. Weyhrauch (IJCAI, 1975)

Pascal in LCF: Semantics and Examples of Proof. - Luigia Carlucci Aiello; Mario Aiello; Richard W. Weyhrauch (Theor. Comput. Sci., 1977)

Using Meta-Theoretic Reasoning to do Algebra. - Luigia Carlucci Aiello; Richard W. Weyhrauch (CADE, 1980)

Prolegomena to a Theory of Mechanized Formal Reasoning. - Richard W. Weyhrauch (Artif. Intell., 1980)

An Example of FOL Using Metatheory. - Richard W. Weyhrauch (CADE, 1982)

A Decidable Fragment of Predicate Calculus. - Jussi Ketonen; Richard W. Weyhrauch (Theor. Comput. Sci., 1984)

Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. - Carolyn L. Talcott; Richard W. Weyhrauch (ECAI, 1990)

The Incorrectness of the Bisection Algorithm. - Richard W. Weyhrauch (Artificial and Mathematical Theory of Computation, 1991)

The Logic of FOL Systems: Formulated in Set Theory. - Richard W. Weyhrauch; Carolyn L. Talcott (Logic, Language and Computation, 1994)

A Many-Sorted Natural Deduction. - Alessandro Cimatti; Fausto Giunchiglia; Richard W. Weyhrauch (Comput. Intell., 1998)

Using Abstract Resources to Control Reasoning. - Richard W. Weyhrauch; Marco Cadoli; Carolyn L. Talcott (J. Log. Lang. Inf., 1998)