@misc{indiciaee0cb0b9cd7f6,
  title = {Automated Induction for Complex Data Structures},
  author = {Adel Bouhoula and Florent Jacquemard},
  year = {2008},
  url = {https://arxiv.org/abs/0811.4720},
  note = {Source identifier: 0811.4720}
}