@article{journals/apal/GodoyTV04,
  added-at = {2020-02-21T00:00:00.000+0100},
  author = {Godoy, Guillem and Tiwari, Ashish and Verma, Rakesh M.},
  biburl = {https://www.bibsonomy.org/bibtex/2e71fc291eb349a807c308dbf5856b300/dblp},
  ee = {https://doi.org/10.1016/j.apal.2004.04.005},
  interhash = {1efd4b5b333a0710c08c2a1b47ce98a5},
  intrahash = {e71fc291eb349a807c308dbf5856b300},
  journal = {Ann. Pure Appl. Log.},
  keywords = {dblp},
  number = {1-3},
  pages = {33-59},
  timestamp = {2020-02-22T12:45:55.000+0100},
  title = {Deciding confluence of certain term rewriting systems in polynomial time.},
  url = {http://dblp.uni-trier.de/db/journals/apal/apal130.html#GodoyTV04},
  volume = 130,
  year = 2004
}

{"_id":"aaMySh2ZxiAMSo6Co","bibbaseid":"godoy-tiwari-verma-decidingconfluenceofcertaintermrewritingsystemsinpolynomialtime-2004","author_short":["Godoy, G.","Tiwari, A.","Verma, R. M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-02-21T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Godoy"],"firstnames":["Guillem"],"suffixes":[]},{"propositions":[],"lastnames":["Tiwari"],"firstnames":["Ashish"],"suffixes":[]},{"propositions":[],"lastnames":["Verma"],"firstnames":["Rakesh","M."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2e71fc291eb349a807c308dbf5856b300/dblp","ee":"https://doi.org/10.1016/j.apal.2004.04.005","interhash":"1efd4b5b333a0710c08c2a1b47ce98a5","intrahash":"e71fc291eb349a807c308dbf5856b300","journal":"Ann. Pure Appl. Log.","keywords":"dblp","number":"1-3","pages":"33-59","timestamp":"2020-02-22T12:45:55.000+0100","title":"Deciding confluence of certain term rewriting systems in polynomial time.","url":"http://dblp.uni-trier.de/db/journals/apal/apal130.html#GodoyTV04","volume":"130","year":"2004","bibtex":"@article{journals/apal/GodoyTV04,\n added-at = {2020-02-21T00:00:00.000+0100},\n author = {Godoy, Guillem and Tiwari, Ashish and Verma, Rakesh M.},\n biburl = {https://www.bibsonomy.org/bibtex/2e71fc291eb349a807c308dbf5856b300/dblp},\n ee = {https://doi.org/10.1016/j.apal.2004.04.005},\n interhash = {1efd4b5b333a0710c08c2a1b47ce98a5},\n intrahash = {e71fc291eb349a807c308dbf5856b300},\n journal = {Ann. Pure Appl. Log.},\n keywords = {dblp},\n number = {1-3},\n pages = {33-59},\n timestamp = {2020-02-22T12:45:55.000+0100},\n title = {Deciding confluence of certain term rewriting systems in polynomial time.},\n url = {http://dblp.uni-trier.de/db/journals/apal/apal130.html#GodoyTV04},\n volume = 130,\n year = 2004\n}\n\n","author_short":["Godoy, G.","Tiwari, A.","Verma, R. M."],"key":"journals/apal/GodoyTV04","id":"journals/apal/GodoyTV04","bibbaseid":"godoy-tiwari-verma-decidingconfluenceofcertaintermrewritingsystemsinpolynomialtime-2004","role":"author","urls":{"Link":"https://doi.org/10.1016/j.apal.2004.04.005","Paper":"http://dblp.uni-trier.de/db/journals/apal/apal130.html#GodoyTV04"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/rakesh verma?items=1000","dataSources":["seGkXRkGoHfA3ej9n"],"keywords":["dblp"],"search_terms":["deciding","confluence","certain","term","rewriting","systems","polynomial","time","godoy","tiwari","verma"],"title":"Deciding confluence of certain term rewriting systems in polynomial time.","year":2004}