General extensional mereology is finitely axiomatizable
scientific article; zbMATH DE number 6946464
scientific article