Tobias Nipkow. Proof Transformations for Equational Theories. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 278-288, IEEE Computer Society, 1990.
@inproceedings{Nipkow90:1, title = {Proof Transformations for Equational Theories}, author = {Tobias Nipkow}, year = {1990}, tags = {equational proofs, transformation}, researchr = {https://researchr.org/publication/Nipkow90%3A1}, cites = {0}, citedby = {0}, pages = {278-288}, booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA}, publisher = {IEEE Computer Society}, }