Peter Thiemann. Higher-Order Redundancy Elimination. In PEPM. pages 73-83, 1994.
@inproceedings{Thiemann94, title = {Higher-Order Redundancy Elimination}, author = {Peter Thiemann}, year = {1994}, tags = {redundancy}, researchr = {https://researchr.org/publication/Thiemann94}, cites = {0}, citedby = {0}, pages = {73-83}, booktitle = {PEPM}, }