ID cyclic proofs

Sorin Stratulat. ID cyclic proofs. Annals of Mathematics and Artificial Intelligence, 91(5):651-673, October 2023. [doi]

Abstract

Abstract is missing.