Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach. Symbolic Model Construction for Saturated Constrained Horn Clauses. In Uli Sattler, Martin Suda 0001, editors, Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings. Volume 14279 of Lecture Notes in Computer Science, pages 137-155, Springer, 2023. [doi]
Abstract is missing.