@inproceedings{Par96,
title = {Natural proofs and programs optimization in the {Calculus of Inductive Constructions} },
author = {Parent-Vigouroux, Catherine},
month = {august},
year = {1996},
booktitle = {International Conference on Theorem Proving in Higher Order Logic},
team = {SYNC},
}
