(1)
Maffezioli, P. Sequents for Non-Wellfounded Mereology. LLP 2016, 25, 351-369.