Slawomir T. Wierzchon Mieczyslaw A. Klopotek Maciej Michalewicz Reasoning and Facts Explanation in Valuation Based Systems. 359-371 1997 30 Fundam. Inform. 3/4 db/journals/fuin/fuin30.html#WierzchonKM97