Constraint solving for interpolation. (2010)

by A Rybalchenko, V Sofronie-Stokkermans
Venue:J. Symb. Comput.,