AC Simplifications and Closure Redundancies in the Superposition Calculus.

Andr Duarte, Konstantin Korovin

Browse the full TABLEAUX paper archive.