Roberto Di Cosmo. A brief history of rewriting with extensionality. Lecture notes. http://www.dicosmo.org/, September 1996.

bib ] This file was generated by bibtex2html 1.98.