Cited in
(13)- Herbrand constructivization for automated intuitionistic theorem proving
- Understanding Resolution Proofs through Herbrand’s Theorem
- Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination
- Reducing redundancy in cut-elimination by resolution
- RegStab
- CERES
- IDV
- GAPT
- Slakje
- WhaleProver
- Expositor
- Extraction of expansion trees
- System description: GAPT 2.0
This page was built for software: ProofTool
