@article{journals/jar/GieslTSF06,
  added-at = {2020-09-02T00:00:00.000+0200},
  author = {Giesl, Jürgen and Thiemann, René and Schneider-Kamp, Peter and Falke, Stephan},
  biburl = {https://www.bibsonomy.org/bibtex/292a4b1c7a5ad20176d7ec1a120e1752a/dblp},
  ee = {https://doi.org/10.1007/s10817-006-9057-7},
  interhash = {3f3d49c5a9a6dc4bdbbe7de9b64a970e},
  intrahash = {92a4b1c7a5ad20176d7ec1a120e1752a},
  journal = {J. Autom. Reason.},
  keywords = {dblp},
  number = 3,
  pages = {155-203},
  timestamp = {2020-09-09T13:34:35.000+0200},
  title = {Mechanizing and Improving Dependency Pairs.},
  url = {http://dblp.uni-trier.de/db/journals/jar/jar37.html#GieslTSF06},
  volume = 37,
  year = 2006
}

{"_id":"23zeFpkPTwhkPT5SH","bibbaseid":"giesl-thiemann-schneiderkamp-falke-mechanizingandimprovingdependencypairs-2006","author_short":["Giesl, J.","Thiemann, R.","Schneider-Kamp, P.","Falke, S."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-02T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Giesl"],"firstnames":["Jürgen"],"suffixes":[]},{"propositions":[],"lastnames":["Thiemann"],"firstnames":["René"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider-Kamp"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Falke"],"firstnames":["Stephan"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/292a4b1c7a5ad20176d7ec1a120e1752a/dblp","ee":"https://doi.org/10.1007/s10817-006-9057-7","interhash":"3f3d49c5a9a6dc4bdbbe7de9b64a970e","intrahash":"92a4b1c7a5ad20176d7ec1a120e1752a","journal":"J. Autom. Reason.","keywords":"dblp","number":"3","pages":"155-203","timestamp":"2020-09-09T13:34:35.000+0200","title":"Mechanizing and Improving Dependency Pairs.","url":"http://dblp.uni-trier.de/db/journals/jar/jar37.html#GieslTSF06","volume":"37","year":"2006","bibtex":"@article{journals/jar/GieslTSF06,\n added-at = {2020-09-02T00:00:00.000+0200},\n author = {Giesl, Jürgen and Thiemann, René and Schneider-Kamp, Peter and Falke, Stephan},\n biburl = {https://www.bibsonomy.org/bibtex/292a4b1c7a5ad20176d7ec1a120e1752a/dblp},\n ee = {https://doi.org/10.1007/s10817-006-9057-7},\n interhash = {3f3d49c5a9a6dc4bdbbe7de9b64a970e},\n intrahash = {92a4b1c7a5ad20176d7ec1a120e1752a},\n journal = {J. Autom. Reason.},\n keywords = {dblp},\n number = 3,\n pages = {155-203},\n timestamp = {2020-09-09T13:34:35.000+0200},\n title = {Mechanizing and Improving Dependency Pairs.},\n url = {http://dblp.uni-trier.de/db/journals/jar/jar37.html#GieslTSF06},\n volume = 37,\n year = 2006\n}\n\n","author_short":["Giesl, J.","Thiemann, R.","Schneider-Kamp, P.","Falke, S."],"key":"journals/jar/GieslTSF06","id":"journals/jar/GieslTSF06","bibbaseid":"giesl-thiemann-schneiderkamp-falke-mechanizingandimprovingdependencypairs-2006","role":"author","urls":{"Link":"https://doi.org/10.1007/s10817-006-9057-7","Paper":"http://dblp.uni-trier.de/db/journals/jar/jar37.html#GieslTSF06"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Schneider?items=1000","dataSources":["i8SRmtQi2JMEkzH9M"],"keywords":["dblp"],"search_terms":["mechanizing","improving","dependency","pairs","giesl","thiemann","schneider-kamp","falke"],"title":"Mechanizing and Improving Dependency Pairs.","year":2006}