A Representation of Lambda Terms Suitable for Operations on Their Intensions. - Gopalan Nadathur; Debra Sue Wilson (LISP and Functional Programming, 1990)

Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. - Keehang Kwon; Gopalan Nadathur; Debra Sue Wilson (ELP, 1992)

Implementing Polymorphic Typing in a Logic Programming Language. - Keehang Kwon; Gopalan Nadathur; Debra Sue Wilson (Comput. Lang., 1994)

SATCHMORE: SATCHMO with REIevancy. - Donald W. Loveland; David W. Reed; Debra Sue Wilson (J. Autom. Reason., 1995)

A Notation for Lambda Terms: A Generalization of Environments. - Gopalan Nadathur; Debra Sue Wilson (Theor. Comput. Sci., 1998)