Ling Zhang Bo Zhang 92-108 2005 40 Int. J. Approx. Reasoning 1-2 http://dx.doi.org/10.1016/j.ijar.2004.11.003 db/journals/ijar/ijar40.html#ZhangZ05