A Superposition Calculus for Abductive Reasoning

Open in new window