@article{DBLP:journals/iandc/AcetoF97,
  author    = {Luca Aceto and
               Wan Fokkink},
  title     = {An Equational Axiomatization for Multi-Exit Iteration},
  journal   = {Inf. Comput.},
  volume    = {137},
  number    = {2},
  pages     = {121--158},
  year      = {1997},
  url       = {https://doi.org/10.1006/inco.1997.2645},
  doi       = {10.1006/inco.1997.2645},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/AcetoF97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"xRAQNSc8sXSz4s4Rf","bibbaseid":"aceto-fokkink-anequationalaxiomatizationformultiexititeration-1997","downloads":0,"creationDate":"2016-02-18T15:10:12.510Z","title":"An Equational Axiomatization for Multi-Exit Iteration","author_short":["Aceto, L.","Fokkink, W."],"year":1997,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Wan"],"propositions":[],"lastnames":["Fokkink"],"suffixes":[]}],"title":"An Equational Axiomatization for Multi-Exit Iteration","journal":"Inf. Comput.","volume":"137","number":"2","pages":"121–158","year":"1997","url":"https://doi.org/10.1006/inco.1997.2645","doi":"10.1006/inco.1997.2645","timestamp":"Thu, 18 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/iandc/AcetoF97","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iandc/AcetoF97,\n author = {Luca Aceto and\n Wan Fokkink},\n title = {An Equational Axiomatization for Multi-Exit Iteration},\n journal = {Inf. Comput.},\n volume = {137},\n number = {2},\n pages = {121--158},\n year = {1997},\n url = {https://doi.org/10.1006/inco.1997.2645},\n doi = {10.1006/inco.1997.2645},\n timestamp = {Thu, 18 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/iandc/AcetoF97},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Fokkink, W."],"key":"DBLP:journals/iandc/AcetoF97","id":"DBLP:journals/iandc/AcetoF97","bibbaseid":"aceto-fokkink-anequationalaxiomatizationformultiexititeration-1997","role":"author","urls":{"Paper":"https://doi.org/10.1006/inco.1997.2645"},"downloads":0},"search_terms":["equational","axiomatization","multi","exit","iteration","aceto","fokkink"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["Efw79Fxo6HR8p6xBt"]}