Monadic Second-Order Logic in HOL : Deep and Shallow with Automated Faithfulness (Extended Preprint)
Benzmüller, Christoph; Kirchner, Daniel (2026): Monadic Second-Order Logic in HOL : Deep and Shallow with Automated Faithfulness (Extended Preprint), in: arXiv, doi: 10.48550/arxiv.2609.07345.
