@article{popescu-serbanuta-rosu-2008-jtcs,
  title = {A Semantic Approach to Interpolation},
  author = {Andrei Popescu
    and Traian Florin {\c S}erb{\u a}nu{\c t}{\u a}
    and Grigore Ro{\c s}u},
  journal = {Journal of Theoretical Computer Science},
  year = {2009},
  volume = {410},
  issue = {12-13},
  pages = {1109-1128},
  ee={http://dx.doi.org/10.1016/j.tcs.2008.09.038},
  doi={doi:10.1016/j.tcs.2008.09.038},
}