@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}, }