@article{Ro_u_2010,
    doi = {10.1016/j.jlap.2010.03.012},
    url = {https://doi.org/10.1016%2Fj.jlap.2010.03.012},
    year = {2010},
    month = {aug},
    publisher = {Elsevier {BV}},
    volume = {79},
    number = {6},
    pages = {397--434},
    author = {Grigore Roșu and Traian Florin Șerb{\u{a}}nut{\u{a}}},
    title = {An overview of the K semantic framework},
    journal = {The Journal of Logic and Algebraic Programming}
}

@article{Ro_u_2010, doi = {10.1016/j.jlap.2010.03.012}, url = {https://doi.org/10.1016%2Fj.jlap.2010.03.012}, year = {2010}, month = {aug}, publisher = {Elsevier {BV}}, volume = {79}, number = {6}, pages = {397--434}, author = {Grigore Roșu and Traian Florin Șerb{\u{a}}nut{\u{a}}}, title = {An overview of the K semantic framework}, journal = {The Journal of Logic and Algebraic Programming} }