Varzi, A. C. “On Three Axiom Systems for Classical Mereology”. Logic and Logical Philosophy, vol. 28, no. 2, Oct. 2018, pp. 203-7, doi:10.12775/LLP.2018.014.