@misc{indiciae19fe63941687,
  title = {Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT},
  author = {Emanuele Civini and Gabriele Masina and Giuseppe Spallitta and Roberto Sebastiani},
  year = {2026},
  url = {https://arxiv.org/abs/2602.14634},
  note = {Source identifier: 2602.14634}
}