Reducibility Constraints in Superposition.

Mrton Hajd, Laura Kovcs, Michael Rawson, Andrei Voronkov

Browse the full IJCAR paper archive.