%0 Journal Article %1 journals/jar/Urban04 %A Urban, Josef %D 2004 %J J. Autom. Reason. %K dblp %N 3-4 %P 319-339 %T MPTP - Motivation, Implementation, First Experiments. %U http://dblp.uni-trier.de/db/journals/jar/jar33.html#Urban04 %V 33

@article{journals/jar/Urban04, added-at = {2020-09-02T00:00:00.000+0200}, author = {Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2375e902109d2c5b614f526a56c41152a/dblp}, ee = {https://doi.org/10.1007/s10817-004-6245-1}, interhash = {78c16c97040b59aa4249b3cda708d99a}, intrahash = {375e902109d2c5b614f526a56c41152a}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {3-4}, pages = {319-339}, timestamp = {2020-09-09T13:35:05.000+0200}, title = {MPTP - Motivation, Implementation, First Experiments.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar33.html#Urban04}, volume = 33, year = 2004 }