Data Structures and Control Architectures for Implementation of Theorem-Proving Programs.

Ross A. Overbeek, Ewing L. Lusk

Browse the full CADE paper archive.