Mechanization of LAGC Semantics in Isabelle. - Niklas Heidler (CoRR, 2022)

A Sequent Calculus For Trace Formula Implication. - Niklas Heidler; Reiner Hähnle (CoRR, 2025)