Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis - 42Papers