@misc{indiciaedba1590fe6a9,
  title = {Finding polynomial loop invariants for probabilistic programs},
  author = {Yijun Feng and Lijun Zhang and David N. Jansen and Naijun Zhan and Bican Xia},
  year = {2017},
  url = {https://arxiv.org/abs/1707.02690},
  note = {Source identifier: 1707.02690}
}