@misc{indiciae50d742a6def8,
  title = {Lemmas: Generation, Selection, Application},
  author = {Michael Rawson and Christoph Wernhard and Zsolt Zombori and Wolfgang Bibel},
  year = {2023},
  doi = {10.1007/978-3-031-43513-3\_9},
  url = {https://arxiv.org/abs/2303.05854},
  note = {Source identifier: 2303.05854}
}