@article{BLANQUI_2005,
    doi = {10.1017/s0960129504004426},
    url = {https://doi.org/10.1017%2Fs0960129504004426},
    year = {2005},
    month = {feb},
    publisher = {Cambridge University Press ({CUP})},
    volume = {15},
    number = {1},
    pages = {37--92},
    author = {FR{\'{E}}D{\'{E}}RIC BLANQUI},
    title = {Definitions by rewriting in the Calculus of Constructions},
    journal = {Mathematical Structures in Computer Science}
}

@article{BLANQUI_2005, doi = {10.1017/s0960129504004426}, url = {https://doi.org/10.1017%2Fs0960129504004426}, year = {2005}, month = {feb}, publisher = {Cambridge University Press ({CUP})}, volume = {15}, number = {1}, pages = {37--92}, author = {FR{\'{E}}D{\'{E}}RIC BLANQUI}, title = {Definitions by rewriting in the Calculus of Constructions}, journal = {Mathematical Structures in Computer Science} }