TY  - RPRT
TI  - Inductive-data-type Systems
AU  - Frédéric Blanqui
AU  - Jean-Pierre Jouannaud
AU  - Mitsuhiro Okada
PY  - 2013
DO  - 10.1016/s0304-3975(00)00347-9
UR  - https://arxiv.org/abs/cs/0610066
ID  - cs/0610066
ER  -