Example corrected
Added Duquenne--Guigues approach to implication checking
Added abduction