Blanqui. Definitions by Rewriting in the Calculus of Constructions. 11 Oct. 2006.