## Aaron Stump, Li-Yang Tan

*The Algebra of Equality Proofs*

RTA, 2005.

@inproceedings{RTA-2005-StumpT,
author = "Aaron Stump and Li-Yang Tan",
booktitle = "{Proceedings of the 16th International Conference on Term Rewriting and Applications}",
doi = "10.1007/978-3-540-32033-3_34",
editor = "Jürgen Giesl",
isbn = "3-540-25596-6",
pages = "469--483",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{The Algebra of Equality Proofs}",
volume = 3467,
year = 2005,
}

### Tags: