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