@article{Urban_2006,
    doi = {10.1007/s10817-006-9032-3},
    url = {https://doi.org/10.1007%2Fs10817-006-9032-3},
    year = {2006},
    month = {nov},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {37},
    number = {1-2},
    pages = {21--43},
    author = {Josef Urban},
    title = {{MPTP} 0.2: Design, Implementation, and Initial Experiments},
    journal = {Journal of Automated Reasoning}
}

@article{Urban_2006, doi = {10.1007/s10817-006-9032-3}, url = {https://doi.org/10.1007%2Fs10817-006-9032-3}, year = {2006}, month = {nov}, publisher = {Springer Science and Business Media {LLC}}, volume = {37}, number = {1-2}, pages = {21--43}, author = {Josef Urban}, title = {{MPTP} 0.2: Design, Implementation, and Initial Experiments}, journal = {Journal of Automated Reasoning} }