@misc{indiciae51279bb3a0e8,
  title = {Online Generation of Proofs Without Words},
  author = {Alexander Thaller and Zoltán Kovács},
  year = {2022},
  doi = {10.4204/eptcs.352.10},
  url = {https://arxiv.org/abs/2201.07274},
  note = {Source identifier: 2201.07274}
}