TY  - RPRT
TI  - Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)
AU  - Christoph Benzmueller
AU  - Daniel Kirchner
PY  - 2026
UR  - https://arxiv.org/abs/2609.07345
ID  - 2609.07345
ER  -