Building Decision Procedures in the Calculus of Inductive Constructions.

Frdric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub

Browse the full CSL paper archive.