D.: Automating inversion of inductive predicates in coq (1995)

by C Cornes, Terrasse
Venue:LNCS