What makes propositional abduction tractable