@misc{indiciae9c7503d0f649,
  title = {Invariant stream generators using automatic abstract transformers based on a decidable logic},
  author = {Pierre-Loïc Garoche and Temesghen Kahsai and Cesare Tinelli},
  year = {2012},
  url = {https://arxiv.org/abs/1205.3758},
  note = {Source identifier: 1205.3758}
}