TY  - RPRT
TI  - On the confluence of lambda-calculus with conditional rewriting
AU  - Frédéric Blanqui
AU  - Claude Kirchner
AU  - Colin Riba
PY  - 2006
DO  - 10.1007/11690634\_26
UR  - https://arxiv.org/abs/cs/0609002
ID  - cs/0609002
ER  -