Strategic Issues Related to the Development and Use of TPS (2007)
Christoph Benzmuller, Volker Sorge, Integrating Tps, Peter Andrews
nsion trees and matings (using ideas described in [1] and [3]), but TPS proofs are presented in natural deduction style, and TPS can operate in a mixture of interactive and automatic modes [6]. Many...