Coinductive proof nets by L. Korte