Similar Items: Some observations on the logical foundations of inductive theorem proving
- Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
- A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
- Benchmarking Testing in Automated Theorem Proving
- The logical strength of Büchi's decidability theorem
- A Logical Foundation for Environment Classifiers