Frédéric Blanqui Definitions by rewriting in the Calculus of Constructions. 37-92 2005 15 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129504004426 db/journals/mscs/mscs15.html#Blanqui05