%0 Journal Article
%T MPTP 0.2: Design, Implementation, and Initial Experiments
%A Urban, Josef
%J Journal of Automated Reasoning
%V 37
%N 2
%P 21-43
%@ 0168-7433
%D 2006-11-25
%I Kluwer Academic Publishers
%~ DeepDyve