@misc{indiciae1944335b4eb0,
  title = {Liveness Verification and Synthesis: New Algorithms for Recursive Programs},
  author = {Roland Meyer and Sebastian Muskalla and Elisabeth Neumann},
  year = {2017},
  url = {https://arxiv.org/abs/1701.02947},
  note = {Source identifier: 1701.02947}
}