@misc{indiciae2846e681c777,
  title = {Building Decision Procedures in the Calculus of Inductive Constructions},
  author = {Frédéric Blanqui and Jean-Pierre Jouannaud and Pierre-Yves Strub},
  year = {2007},
  url = {https://arxiv.org/abs/0707.1266},
  note = {Source identifier: 0707.1266}
}