fix

Author: kondylidou

_bibliography/papers.bib

@@ -51,8 +51,8 @@ @unpublished{masters_thesis
 @incollection{tacas2025,
   author    = {Lydia Kondylidou and Andrew Reynolds and Jasmin Blanchette},
   title     = {Augmenting Model-Based Instantiation with Fast Enumeration},
-  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
-  series    = {Lecture Notes in Computer Science},
+  booktitle = {TACAS},
+  series    = {LNCS},
   volume    = {14474},
   editor    = {Marieke Huisman and Dana Fisman},
   publisher = {Springer},
@@ -77,8 +77,8 @@ @incollection{tacas2025
 @unpublished{draft_tacas2026,
   author    = {Lydia Kondylidou and Andrew Reynolds and Jasmin Blanchette and Cesare Tinelli},
   title     = {Enumerating Choice Terms in Model-Based Quantifier Instantiation},
-  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
-  series    = {Lecture Notes in Computer Science},
+  booktitle = {TACAS},
+  series    = {LNCS},
   publisher = {Springer},
   year      = {2026},
   abstract  = {Satisfiability modulo theories (SMT) solvers are widely used