Is There any Need for Domain-Dependent Control Information? - Matthew L. Ginsberg; Donald F. Geddis (AAAI, 1991)

Infomaster: A Virtual Information System. - Donald F. Geddis; Michael R. Genesereth; Arthur M. Keller; Narinder Singh (CIKM Information Agents Workshop, 1995)

Caching and non-Horn inference in model elimination theorem provers. - Donald F. Geddis (1995)