%0 Journal Article %1 journals/jar/HillenbrandBVL97 %A Hillenbrand, Thomas %A Buch, Arnim %A Vogt, Roland %A Löchner, Bernd %D 1997 %J J. Autom. Reasoning %K dblp %N 2 %P 265-270 %T WALDMEISTER - High-Performance Equational Deduction. %U http://dblp.uni-trier.de/db/journals/jar/jar18.html#HillenbrandBVL97 %V 18

@article{journals/jar/HillenbrandBVL97, added-at = {2011-05-19T00:00:00.000+0200}, author = {Hillenbrand, Thomas and Buch, Arnim and Vogt, Roland and Löchner, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fb8dd459c9419f1b08dde8d42692671f/dblp}, ee = {http://dx.doi.org/10.1023/A:1005872405899}, interhash = {4d831334ec4d2bb1b1a9f7494913f9f1}, intrahash = {fb8dd459c9419f1b08dde8d42692671f}, journal = {J. Autom. Reasoning}, keywords = {dblp}, number = 2, pages = {265-270}, timestamp = {2016-02-02T09:57:45.000+0100}, title = {WALDMEISTER - High-Performance Equational Deduction.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar18.html#HillenbrandBVL97}, volume = 18, year = 1997 }