Calogero G. Zarba Combining Sets with Cardinals. 1-29 2005 34 J. Autom. Reasoning 1 http://dx.doi.org/10.1007/s10817-005-3075-8 db/journals/jar/jar34.html#Zarba05