Encoding Natural Semantics in Coq. - Delphine Terrasse (AMAST, 1995)

Automating Inversion of Inductive Predicates in Coq. - Cristina Cornes; Delphine Terrasse (TYPES, 1995)