Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub. Building Decision Procedures in the Calculus of Inductive Constructions.
16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Jacques Duparc, Sep 2007, Lausanne, Switzerland.
⟨10.1007/978-3-540-74915-8_26⟩.
⟨inria-00160586v2⟩