Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler. Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality. In Alexander Nadel, Aina Niemetz, editors, Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021. Volume 2908 of CEUR Workshop Proceedings, pages 3-16, CEUR-WS.org, 2021. [doi]
Abstract is missing.