Induction using Term Orderings. - François Bronsard; Uday S. Reddy; Robert W. Hasker (CADE, 1994)

Induction Using Term Orders. - François Bronsard; Uday S. Reddy; Robert W. Hasker (J. Autom. Reason., 1996)

HiC: a C++ compiler for CS1. - Robert W. Hasker (J. Comput. Sci. Coll., 2001)

UMLGrader: an automated class diagram grader. - Robert W. Hasker (J. Comput. Sci. Coll., 2011)