Plaisted, David Programming Logics, MPI for Informatics, Max Planck Society;
Plaisted, D. (1993). Equational Reasoning and Term Rewriting Systems. In D. M. Gabbay, C. Hogger, J. A. Robinson, & J. Siekmann (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming (pp. 273-364). Oxford: Oxford University Press.