@misc{indiciae981abcbf44fe,
  title = {Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)},
  author = {Alicia Villanueva},
  year = {2022},
  url = {https://arxiv.org/abs/2208.04235},
  note = {Source identifier: 2208.04235}
}