On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus.

Uwe Waldmann

Browse the full IJCAR paper archive.