Maffezioli, P. “Sequents for Non-Wellfounded Mereology”. Logic and Logical Philosophy, vol. 25, no. 3, Apr. 2016, pp. 351-69, doi:10.12775/LLP.2016.005.