Delia Kesner. Reasoning about Redundant Patterns. Journal of Functional and Logic Programming, 1997(4), 1997.
@article{Kesner97,
title = {Reasoning about Redundant Patterns},
author = {Delia Kesner},
year = {1997},
researchr = {https://researchr.org/publication/Kesner97},
cites = {0},
citedby = {0},
journal = {Journal of Functional and Logic Programming},
volume = {1997},
number = {4},
}