Hierarchic Superposition with Weak Abstraction.

Peter Baumgartner, Uwe Waldmann

Browse the full CADE paper archive.