Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs
scientific article; zbMATH DE number 7954878