Adventures in Associative-Commutative Unification (A Summary). - Patrick Lincoln; Jim Christian (CADE, 1988)

Fast Knuth-Bendix Completion: Summary. - Jim Christian (RTA, 1989)

Adventures in Associative-Commutative Unification. - Patrick Lincoln; Jim Christian (J. Symb. Comput., 1989)

Oriented Non-Radial Basis Functions for Image Coding and Analysis. - Avijit Saha; Jim Christian; Dun-Sung Tang; Chuan-lin Wu (NIPS, 1990)

Some Termination Criteria for Narrowing and E-Narrowing. - Jim Christian (CADE, 1992)

Flatterms, Discrimination Nets, and Fast Term Rewriting. - Jim Christian (J. Autom. Reason., 1993)