%0 Book %1 books/sp/Baumgartner98 %A Baumgartner, Peter %B Lecture Notes in Computer Science %D 1998 %I Springer %K dblp %T Theory Reasoning in Connection Calculi %V 1527 %@ 3-540-65509-3

@book{books/sp/Baumgartner98, added-at = {2019-05-14T00:00:00.000+0200}, author = {Baumgartner, Peter}, biburl = {https://www.bibsonomy.org/bibtex/25a97c8f75b798d57cf893ed79b1ab27b/dblp}, ee = {https://doi.org/10.1007/b71631}, interhash = {e0d62d1c5137f914d0e7e198cf0f29b2}, intrahash = {5a97c8f75b798d57cf893ed79b1ab27b}, isbn = {3-540-65509-3}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:53:15.000+0200}, title = {Theory Reasoning in Connection Calculi}, volume = 1527, year = 1998 }