Daniele Mundici 223-240 2006 43 Int. J. Approx. Reasoning 3 http://dx.doi.org/10.1016/j.ijar.2006.04.004 db/journals/ijar/ijar43.html#Mundici06