Skip to main content

Circular proofs and automata