dedukti-1.0.2: doc/references.texi

@item [DW99]
G. Dowek and B. Werner, ``Proof Normalization Modulo,'' @cite{Types for Proofs and Programs}, 1999, pp. 62-77.