Automatic Theorem Proving in the ISDV System.

Christoph Beierle, Walter G. Olthoff, Angi Vo

Browse the full CADE paper archive.