Reference:
Andrey Rybalchenko and Viorica Sofronie-Stokkermans. Constraint solving for interpolation. J. Symb. Comput., 45(11):1212–1233, 2010.
Suggested BibTeX entry:
@article{DBLP:journalsjscRybalchenkoS10, author = {Andrey Rybalchenko and Viorica Sofronie-Stokkermans}, journal = {J. Symb. Comput.}, number = {11}, pages = {1212-1233}, title = {Constraint solving for interpolation}, volume = {45}, year = {2010} }