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