%0 Journal Article %1 journals/jar/ZarbaCS04 %A Zarba, Calogero G. %A Cantone, Domenico %A Schwartz, Jacob T. %D 2004 %J J. Autom. Reason. %K dblp %N 3-4 %P 251-269 %T A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. %U http://dblp.uni-trier.de/db/journals/jar/jar33.html#ZarbaCS04 %V 33

@article{journals/jar/ZarbaCS04, added-at = {2020-09-02T00:00:00.000+0200}, author = {Zarba, Calogero G. and Cantone, Domenico and Schwartz, Jacob T.}, biburl = {https://www.bibsonomy.org/bibtex/28e08719071824a6543e5f39616eba24e/dblp}, ee = {https://doi.org/10.1007/s10817-004-6243-3}, interhash = {d5151791fe888bab216bb14984d7f6ef}, intrahash = {8e08719071824a6543e5f39616eba24e}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {3-4}, pages = {251-269}, timestamp = {2020-09-09T13:35:11.000+0200}, title = {A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar33.html#ZarbaCS04}, volume = 33, year = 2004 }