@misc{indiciae60195b2a1df0,
  title = {Sharper and Simpler Nonlinear Interpolants for Program Verification},
  author = {Takamasa Okudono and Yuki Nishida and Kensuke Kojima and Kohei Suenaga and Kengo Kido and Ichiro Hasuo},
  year = {2017},
  url = {https://arxiv.org/abs/1709.00314},
  note = {Source identifier: 1709.00314}
}