Tao Chen Tomás Kocka Nevin Lianwen Zhang 311-332 2005 38 Int. J. Approx. Reasoning 3 http://dx.doi.org/10.1016/j.ijar.2004.05.008 db/journals/ijar/ijar38.html#ChenKZ05