@InProceedings{FialaMueller26,
  author = {J. Fiala and P. M\"{u}ller},
  title = {SMTScope: Automated and Efficient Analysis of SMT Traces},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year = {2026},
  publisher = {Springer},
  note = {To appear}
}