@article{DBLP:journals/ijfcs/GocHS13,
  author    = {Daniel Goc and
               Dane Henshall and
               Jeffrey Shallit},
  title     = {Automatic Theorem-Proving in Combinatorics on Words},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {24},
  number    = {6},
  pages     = {781--798},
  year      = {2013},
  url       = {https://doi.org/10.1142/S0129054113400182},
  doi       = {10.1142/S0129054113400182},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijfcs/GocHS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"7n6h2L62AgiNFhHPh","bibbaseid":"goc-henshall-shallit-automatictheoremprovingincombinatoricsonwords-2013","downloads":0,"creationDate":"2019-01-08T11:55:07.518Z","title":"Automatic Theorem-Proving in Combinatorics on Words","author_short":["Goc, D.","Henshall, D.","Shallit, J."],"year":2013,"bibtype":"article","biburl":"https://dblp.org/pid/s/JeffreyShallit.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Goc"],"suffixes":[]},{"firstnames":["Dane"],"propositions":[],"lastnames":["Henshall"],"suffixes":[]},{"firstnames":["Jeffrey"],"propositions":[],"lastnames":["Shallit"],"suffixes":[]}],"title":"Automatic Theorem-Proving in Combinatorics on Words","journal":"Int. J. Found. Comput. Sci.","volume":"24","number":"6","pages":"781–798","year":"2013","url":"https://doi.org/10.1142/S0129054113400182","doi":"10.1142/S0129054113400182","timestamp":"Sat, 27 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/ijfcs/GocHS13","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ijfcs/GocHS13,\n author = {Daniel Goc and\n Dane Henshall and\n Jeffrey Shallit},\n title = {Automatic Theorem-Proving in Combinatorics on Words},\n journal = {Int. J. Found. Comput. Sci.},\n volume = {24},\n number = {6},\n pages = {781--798},\n year = {2013},\n url = {https://doi.org/10.1142/S0129054113400182},\n doi = {10.1142/S0129054113400182},\n timestamp = {Sat, 27 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/ijfcs/GocHS13},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Goc, D.","Henshall, D.","Shallit, J."],"key":"DBLP:journals/ijfcs/GocHS13","id":"DBLP:journals/ijfcs/GocHS13","bibbaseid":"goc-henshall-shallit-automatictheoremprovingincombinatoricsonwords-2013","role":"author","urls":{"Paper":"https://doi.org/10.1142/S0129054113400182"},"downloads":0},"search_terms":["automatic","theorem","proving","combinatorics","words","goc","henshall","shallit"],"keywords":[],"authorIDs":[],"dataSources":["9bkAHJfQLTCifmTcG"]}