Computing Witnesses Using the SCAN Algorithm. - Fabian Achammer; Stefan Hetzl; Renate A. Schmidt (CADE, 2025)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint). - Fabian Achammer; Stefan Hetzl; Renate A. Schmidt (CoRR, 2025)