MPTP 0.2: Design, Implementation, and Initial Experiments.

Josef Urban MPTP 0.2: Design, Implementation, and Initial Experiments. 21-43 2006 37 J. Autom. Reasoning 1-2 http://dx.doi.org/10.1007/s10817-006-9032-3 db/journals/jar/jar37.html#Urban06