Equational Logic and Rewriting [chapter]

Claude Kirchner, Hélène Kirchner
2014 Handbook of the History of Logic  
Handbook-History-Logic-Computation-EquationalLogic Handbook-History-Logic-Computation-Rewriting
doi:10.1016/b978-0-444-51624-4.50006-x fatcat:eqtvr66m65eula7otl7fr6ppaa