An Approach to Abductive Reasoning in Equational Logic

Open in new window