@article{DBLP:journals/jlp/AcetoIG14,
  author    = {Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Eugen{-}Ioan Goriac},
  title     = {{SOS} rule formats for idempotent terms and idempotent unary operators},
  journal   = {J. Log. Algebr. Program.},
  volume    = {83},
  number    = {1},
  pages     = {64--80},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.jlap.2013.07.003},
  doi       = {10.1016/j.jlap.2013.07.003},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/AcetoIG14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NejD5En4EBkPZNNe6","bibbaseid":"aceto-inglfsdttir-goriac-sosruleformatsforidempotenttermsandidempotentunaryoperators-2014","downloads":0,"creationDate":"2016-02-18T15:10:12.079Z","title":"SOS rule formats for idempotent terms and idempotent unary operators","author_short":["Aceto, L.","Ingólfsdóttir, A.","Goriac, E."],"year":2014,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]},{"firstnames":["Eugen-Ioan"],"propositions":[],"lastnames":["Goriac"],"suffixes":[]}],"title":"SOS rule formats for idempotent terms and idempotent unary operators","journal":"J. Log. Algebr. Program.","volume":"83","number":"1","pages":"64–80","year":"2014","url":"https://doi.org/10.1016/j.jlap.2013.07.003","doi":"10.1016/j.jlap.2013.07.003","timestamp":"Sun, 28 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/jlp/AcetoIG14","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jlp/AcetoIG14,\n author = {Luca Aceto and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir and\n Eugen{-}Ioan Goriac},\n title = {{SOS} rule formats for idempotent terms and idempotent unary operators},\n journal = {J. Log. Algebr. Program.},\n volume = {83},\n number = {1},\n pages = {64--80},\n year = {2014},\n url = {https://doi.org/10.1016/j.jlap.2013.07.003},\n doi = {10.1016/j.jlap.2013.07.003},\n timestamp = {Sun, 28 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/jlp/AcetoIG14},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Ingólfsdóttir, A.","Goriac, E."],"key":"DBLP:journals/jlp/AcetoIG14","id":"DBLP:journals/jlp/AcetoIG14","bibbaseid":"aceto-inglfsdttir-goriac-sosruleformatsforidempotenttermsandidempotentunaryoperators-2014","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jlap.2013.07.003"},"downloads":0},"search_terms":["sos","rule","formats","idempotent","terms","idempotent","unary","operators","aceto","ingólfsdóttir","goriac"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}