%0 Journal Article %1 journals/jar/Suttner99 %A Suttner, Christian B. %D 1999 %J J. Autom. Reasoning %K dblp %N 4 %P 397-431 %T SPS-Parallelism + SETHEO = SPTHEO. %U http://dblp.uni-trier.de/db/journals/jar/jar22.html#Suttner99 %V 22

@article{journals/jar/Suttner99, added-at = {2011-05-19T00:00:00.000+0200}, author = {Suttner, Christian B.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22a18e622570530e227278191caa7bccd/dblp}, ee = {http://dx.doi.org/10.1023/A:1006127022180}, interhash = {2cdf872eedabe96fd90df84d6ab18085}, intrahash = {2a18e622570530e227278191caa7bccd}, journal = {J. Autom. Reasoning}, keywords = {dblp}, number = 4, pages = {397-431}, timestamp = {2016-02-02T09:57:43.000+0100}, title = {SPS-Parallelism + SETHEO = SPTHEO.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar22.html#Suttner99}, volume = 22, year = 1999 }