Horatiu Cirstea, Claude Kirchner
The simply typed rewriting calculus
WRLA, 2000.
@article{WRLA-2000-CirsteaK,
author = "Horatiu Cirstea and Claude Kirchner",
doi = "10.1016/S1571-0661(05)80127-6",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "24--42",
title = "{The simply typed rewriting calculus}",
volume = 36,
year = 2000,
}