@misc{indiciaea8163bad2b31,
  title = {Algebra-based Synthesis of Loops and their Invariants (Invited Paper)},
  author = {Andreas Humenberger and Laura Kovacs},
  year = {2021},
  doi = {10.1007/978-3-030-67067-2\_2},
  url = {https://arxiv.org/abs/2103.03599},
  note = {Source identifier: 2103.03599}
}