Non-clausal Redundancy Properties.

Lee A. Barnett, Armin Biere

Browse the full CADE paper archive.