An Approach to Abductive Reasoning in Equational Logic.

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

Browse the full IJCAI paper archive.