Building decision procedures in the calculus of inductive constructions (2007)

by F Blanqui, J P Jouannaud, P Y Strub
Venue:In Computer Science Logic