Inverting predicates in Coq (1995)

by C Cornes, D Terrasse
Venue:In BRA Workshop on Types for Proofs on Programs