A New Clausal Class Decidable by Hyperresolution.

Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt

Browse the full CADE paper archive.