Handbook of defeasible reasoning and uncertainty management systems. Volume 5, Algorithms for uncertainty and defeasible reasoning / volume editors Jürg Kohlas and Serafín Moral.    Dordrecht :  Kluwer Academic Publishers,  c2000 . 517 s.