Rybalchenko, Andrey Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Rybalchenko, A., & Sofronie-Stokkermans, V. (2010). Constraint Solving for Interpolation. Journal of Symbolic Computation, 45(11), 1212-1233. doi:101016/j.jsc.2010.06.005.