Frédéric Blanqui Claude Kirchner Colin Riba On the confluence of lambda-calculus with conditional rewriting http://arxiv.org/abs/cs/0609002 2006 CoRR abs/cs/0609002 db/journals/corr/corr0609.html#abs-cs-0609002 informal publication