@misc{indiciae6cafb4cde878,
  title = {The Calculus of Algebraic Constructions},
  author = {Frédéric Blanqui and Jean-Pierre Jouannaud and Mitsuhiro Okada},
  year = {2008},
  url = {https://arxiv.org/abs/cs/0610063},
  note = {Source identifier: cs/0610063}
}