Abhishek De, Alexis Saurin: Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory. TABLEAUX 2019: 297-316