Improvements of a Tautology-Testing Algorithm.

K. M. Hrnig, Wolfgang Bibel

Browse the full CADE paper archive.