P. Maffezioli, “Sequents for non-wellfounded mereology”, LLP, vol. 25, no. 3, pp. 351–369, Apr. 2016.