A New Method for Establishing Refutational Completeness in Theorem Proving.

Jieh Hsiang, Michal Rusinowitch

Browse the full CADE paper archive.