“Source-tracking Unification,” with
Venkatesh Choppella, Information and Computation 201:2
(September, 2005), 121-159.
“Source-tracking Unification,” with Venkatesh Choppella, Proceedings of the
19thConference
on Automated Deduction, CADE-19, Miami Beach, USA, Lecture Notes
in Artificial Intelligence 2741 (Springer, 2003), pp.
458-472.