A single-sorted theory of multisets
scientific article; zbMATH DE number 6338770