Gerald E. Peterson. Constrained term-rewriting induction with applications. Meth. of Logic in CS, 1(4):413-436, 1994.
@article{Peterson94,
title = {Constrained term-rewriting induction with applications},
author = {Gerald E. Peterson},
year = {1994},
researchr = {https://researchr.org/publication/Peterson94},
cites = {0},
citedby = {0},
journal = {Meth. of Logic in CS},
volume = {1},
number = {4},
pages = {413-436},
}