@misc{indiciaedf35ccd0255f,
  title = {Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis},
  author = {Kensuke Kojima and Minoru Kinoshita and Kohei Suenaga},
  year = {2016},
  url = {https://arxiv.org/abs/1604.07201},
  note = {Source identifier: 1604.07201}
}