Jim Christian

	1993
6		Jim Christian: Flatterms, Discrimination Nets, and Fast Term Rewriting. J. Autom. Reasoning 10(1): 95-113 (1993)
	1992
5		Jim Christian: Some Termination Criteria for Narrowing and E-Narrowing. CADE 1992: 582-588
	1990
4		Avijit Saha, Jim Christian, Dun-Sung Tang, Chuan-lin Wu: Oriented Non-Radial Basis Functions for Image Coding and Analysis. NIPS 1990: 728-734
	1989
3		Jim Christian: Fast Knuth-Bendix Completion: Summary. RTA 1989: 551-555
2		Patrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification. J. Symb. Comput. 8(1/2): 217-240 (1989)
	1988
1		Patrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification (A Summary). CADE 1988: 358-367

Coauthor Index

1	Patrick Lincoln	[1] [2]
2	Avijit Saha	[4]
3	Dun-Sung Tang	[4]
4	Chuan-lin Wu	[4]

Colors in the list of coauthors