1 citations to https://www.mathnet.ru/rus/rsc1
  1. Albert Atserias, Massimo Lauria, “Circular (Yet Sound) Proofs in Propositional Logic”, ACM Trans. Comput. Logic, 24:3 (2023), 1  crossref