Exploiting Strict Constraints in the Cylindrical Algebraic Covering. - Philipp Bär; Jasper Nalbach; Erika Ábrahám; Christopher W. Brown 001 (SMT, 2023)

Technical Report with Proofs for A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments. - Philipp Bär; Moe Thandar Wynn; Sander J. J. Leemans (CoRR, 2025)