A. Pietruszczak, “Classical mereology is not elementarily axiomatizable”, LLP, vol. 24, no. 4, pp. 485–498, Aug. 2015.