A. C. Varzi, “On Three Axiom Systems for Classical Mereology”, LLP, vol. 28, no. 2, pp. 203–207, Oct. 2018.