%0 Journal Article %1 journals/jar/Urban06 %A Urban, Josef %D 2006 %J J. Autom. Reason. %K dblp %N 1-2 %P 21-43 %T MPTP 0.2: Design, Implementation, and Initial Experiments. %U http://dblp.uni-trier.de/db/journals/jar/jar37.html#Urban06 %V 37

@article{journals/jar/Urban06, added-at = {2020-09-02T00:00:00.000+0200}, author = {Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2a5314cd01f73d5445df91b101527eb2f/dblp}, ee = {https://doi.org/10.1007/s10817-006-9032-3}, interhash = {479894c3ed85499689f2e54b700beffb}, intrahash = {a5314cd01f73d5445df91b101527eb2f}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {1-2}, pages = {21-43}, timestamp = {2020-09-09T13:35:37.000+0200}, title = {MPTP 0.2: Design, Implementation, and Initial Experiments.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar37.html#Urban06}, volume = 37, year = 2006 }