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

by F Blanqui, J-P Jouannaud, P-Y Strub
Venue:in CSL, ser. Lecture