@misc{indiciae28010d50b513,
  title = {Automated Mutual Explicit Induction Proof in Separation Logic},
  author = {Quang-Trung Ta and Ton Chanh Le and Siau-Cheng Khoo and Wei-Ngan Chin},
  year = {2016},
  url = {https://arxiv.org/abs/1609.00919},
  note = {Source identifier: 1609.00919}
}