MPTP - Motivation, Implementation, First Experiments (2004)

by J Urban
Venue:Journal of Automated Reasoning