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