Vincenzo Marra Daniele Mundici Consequence and Complexity in Infinite-Valued Logic: A Survey. 104- 2002 conf/ismvl/2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620104abs.htm db/conf/ismvl/ismvl2002.html#MarraM02