@article {IOPORT.05414865,
    author       = {Cantone, Domenico and Schwartz, Jacob T. and Zarba, Calogero G.},
    title        = {A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions.},
    year         = {2003},
    journal      = {Electronic Notes in Theoretical Computer Science},
    volume       = {86},
    number       = {1},
    publisher    = {Elsevier, Amsterdam},
    doi          = {10.1016/S1571-0661(04)80652-2},
    identifier   = {05414865},
}