Maffezioli, P. 2016. Sequents for non-wellfounded mereology. Logic and Logical Philosophy. 25, 3 (Apr. 2016), 351–369. DOI:https://doi.org/10.12775/LLP.2016.005.