Theorem Proving Systems of the Formel Project.

Grard P. Huet

Browse the full CADE paper archive.