Claude Kirchner, Hélène Kirchner. Equational logic and rewriting
. Dov M. Gabbay; Jörg H. Siekmann; John Woods.
Handbook of the History of Logic, 9 (Chap.8), Elsevier, 2014, History of Logic and Computation in the 20th Century, 978-0444516244.
〈hal-01183817〉