Matthias Baaz George Metcalfe Fuzzy Logic Corner. 343 2009 19 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exn053 db/journals/logcom/logcom19.html#BaazM09