@misc{indiciaefe7aa3dc6700,
  title = {Inductive-data-type Systems},
  author = {Frédéric Blanqui and Jean-Pierre Jouannaud and Mitsuhiro Okada},
  year = {2013},
  doi = {10.1016/s0304-3975(00)00347-9},
  url = {https://arxiv.org/abs/cs/0610066},
  note = {Source identifier: cs/0610066}
}