@InProceedings{Reynolds2026b,
  author   = "Reynolds, Andrew
    and Schurr, Hans-J{\"o}rg
    and Barbosa, Haniel
    and Israel, Ofec
    and Jakpor, Jibiana Zoe
    and Lachnitt, Hanna
    and Mohamed, Abdalrhman
    and Niemetz, Aina
    and Preiner, Mathias
    and Zohar, Yoni
    and Jones, Robert
    and Barrett, Clark
    and Tinelli, Cesare",
  editor   = "Darulova, Eva
    and Lin, Anthony W.
    and R{\"u}mmer, Philipp",
  title    = "The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver",
  booktitle= "Computer Aided Verification",
  year     = "2026",
  publisher= "Springer Nature Switzerland",
  address  = "Cham",
  pages    = "188--212",
  series   = "Lecture Notes in Computer Science",
  volume   = "16683",
  doi      = "10.1007/978-3-032-32526-6_9"
}