Daniel Crowley, Yakoub Salhi. Proof Systems Supporting Qualitative Reasoning. In Juw Won Park, Junyoung Heo, Christian Esposito 0001, editors, Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing, SAC 2026, Grand Hotel Palace, Thessaloniki, Greece, March 23-27, 2026. pages 980-985, ACM, 2026. [doi]
Abstract is missing.