TY  - RPRT
TI  - Automated Induction for Complex Data Structures
AU  - Adel Bouhoula
AU  - Florent Jacquemard
PY  - 2008
UR  - https://arxiv.org/abs/0811.4720
ID  - 0811.4720
ER  -