@misc{indiciaed72bfe06d00d,
  title = {Pushdown Systems for Monotone Frameworks},
  author = {Michal Terepeta and Hanne Riis Nielson and Flemming Nielson},
  year = {2013},
  url = {https://arxiv.org/abs/1307.4585},
  note = {Source identifier: 1307.4585}
}