@article{DBLP:journals/eatcs/AcetoFV99,
  author    = {Luca Aceto and
               Wan Fokkink and
               Chris Verhoef},
  title     = {Conservative Extension in Structural Operational Semantics},
  journal   = {Bulletin of the {EATCS}},
  volume    = {69},
  pages     = {110--132},
  year      = {1999},
  timestamp = {Mon, 05 May 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eatcs/AcetoFV99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"QoopMxQpBdB469DuN","bibbaseid":"aceto-fokkink-verhoef-conservativeextensioninstructuraloperationalsemantics-1999","downloads":0,"creationDate":"2016-02-18T15:10:12.496Z","title":"Conservative Extension in Structural Operational Semantics","author_short":["Aceto, L.","Fokkink, W.","Verhoef, C."],"year":1999,"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":[]},{"firstnames":["Chris"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"Conservative Extension in Structural Operational Semantics","journal":"Bulletin of the EATCS","volume":"69","pages":"110–132","year":"1999","timestamp":"Mon, 05 May 2003 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/eatcs/AcetoFV99","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/eatcs/AcetoFV99,\n author = {Luca Aceto and\n Wan Fokkink and\n Chris Verhoef},\n title = {Conservative Extension in Structural Operational Semantics},\n journal = {Bulletin of the {EATCS}},\n volume = {69},\n pages = {110--132},\n year = {1999},\n timestamp = {Mon, 05 May 2003 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/eatcs/AcetoFV99},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Fokkink, W.","Verhoef, C."],"key":"DBLP:journals/eatcs/AcetoFV99","id":"DBLP:journals/eatcs/AcetoFV99","bibbaseid":"aceto-fokkink-verhoef-conservativeextensioninstructuraloperationalsemantics-1999","role":"author","urls":{},"downloads":0},"search_terms":["conservative","extension","structural","operational","semantics","aceto","fokkink","verhoef"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}