Maffezioli, Paolo. 2016. “Sequents for Non-Wellfounded Mereology”. Logic and Logical Philosophy 25 (3):351-69. https://doi.org/10.12775/LLP.2016.005.