C. Kirchner (Kirchner, C.)

• 
  Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings
  by H. Kirchner, Claude Kirchner, International Conference on Automated Deduction 1998 Lindau Bavaria
  Softcover, Springer Verlag, ISBN 3540646752 (3-540-64675-2)
• 
  Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 Proceedings
  by Claude Kirchner
  Hardcover, Springer-Verlag, ISBN 3540568689 (3-540-56868-9)
• 
  Term Rewriting Systems
  by C. Kirchner, H. Kirchner
  Hardcover, Elsevier Science & Technology, ISBN 0444887547 (0-444-88754-7)