A Superposition Calculus for Abductive Reasoning | Read Paper on Bytez