Martine Ceberio, Olga Kosheleva, Vladik Kreinovich. Reverse Mathematics Is Computable for Interval Computations. In Martine Ceberio, Vladik Kreinovich, editors, Decision Making under Constraints. Volume 276 of pages 65-70, Springer, 2020. [doi]
Abstract is missing.