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