Gérard P. Huet, Jean-Marie Hullot. Proofs by Induction in Equational Theories with Constructors. In 21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA. pages 96-107, IEEE, 1980.
@inproceedings{HuetH80,
title = {Proofs by Induction in Equational Theories with Constructors},
author = {Gérard P. Huet and Jean-Marie Hullot},
year = {1980},
tags = {equational proofs},
researchr = {https://researchr.org/publication/HuetH80},
cites = {0},
citedby = {0},
pages = {96-107},
booktitle = {21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA},
publisher = {IEEE},
}