Razvan Diaconescu. Interpolation for predefined types. Mathematical Structures in Computer Science, 22(1):1-24, 2012. [doi]
@article{Diaconescu12-2, title = {Interpolation for predefined types}, author = {Razvan Diaconescu}, year = {2012}, doi = {10.1017/S0960129511000430}, url = {http://dx.doi.org/10.1017/S0960129511000430}, researchr = {https://researchr.org/publication/Diaconescu12-2}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {22}, number = {1}, pages = {1-24}, }