Nivea de Carvalho Ferreira Michael Fisher Wiebe van der Hoek 35-51 2008 49 Int. J. Approx. Reasoning 1 http://dx.doi.org/10.1016/j.ijar.2007.08.003 db/journals/ijar/ijar49.html#FerreiraFH08