Typing Abstract Data Types. - Judith L. Underwood (COMPASS/ADT, 1994)

Aspects of the Computational Content of Proofs. - Judith L. Underwood (1994)

Tableaux for Intuitionistic Predicate Logic as Metatheory. - Judith L. Underwood (TABLEAUX, 1995)

The Logic of Search Algorithms: Theory and Applications. - Ian P. Gent; Judith L. Underwood (CP, 1997)

Metalogical Frameworks II: Developing a Reflected Decision Procedure. - William E. Aitken; Robert L. Constable; Judith L. Underwood (J. Autom. Reason., 1999)

Search algorithms in type theory. - James L. Caldwell; Ian P. Gent; Judith L. Underwood (Theor. Comput. Sci., 2000)