Snyder, W., and C. Lynch, ``An Inference System for Horn Clause Logic with
Equality: A Foundation for Conditional E-Unification and for Logic Programming
in the Presence of Equality,'' Proceedings of Second International Workshop
on Conditional and Typed Rewriting Systems, S. Kaplan and M. Okada (Eds.),
Lecture Notes in Computer Science, Volume 516, Springer-Verlag, Berlin (1991)
454--461.

Book Chapters:

Schmolze, J., and W. Snyder, ``Using Confluence to Control Parallel Production
Systems,'' to appear in the book Parallel Processing for Artificial Intelligence
II, H. Kitano, V. Kumar, and C.B. Suttner (Eds.), Elsevier Science Publishers
B.V., Amsterdam (1994) (also to appear in Proceedings of the Second International
Workshop on Parallel Processing in AI, Chambery, France, August 1993).

Gallier, J., W.~Snyder, and S.~Raatz, ``Rigid E-Unification and its Application
to Matings," in the book Resolution of Equations in Algebraic Structures,
Nivat and Ait-Kaci (Eds.), Academic Press, Boston (1988) 151--216.

Other Publications

Schmolze, J., and W. Snyder, ``Confluence and Verification for Production
Rule Systems,'' to appear in Proceedings of Workshop on Verification and Validation
of Expert Systems, held in conjunction with Twelfth National Conference on
Artificial Intelligence (AAAI-94).

Gallier, J., and W. Snyder, ``Designing Unification Procedures using Transformations:
A Survey,'' in Logic from Computer Science, Proceedings of a Workshop
held 13-17 November 1989, Y. Moschovakis (Ed.), Mathematical Sciences Research
Institute Publications, Volume 21, Springer-Verlag, New York (1992) 153--215.
Also appeared in Bulletin of the EATCS 40 (1990) 273--326.