Automated Formal Verification and Combinatorial Reduction of Distinction-Based Calculus

Authors: ["QNFO Research"]

Published: 2026-04

---

This paper is part of the QNFO research corpus.