@inproceedings{HIK+12,
title = {Accelerating Interpolants },
author = {Hojjat, Hossein and Iosif, Radu and Kone\v{c}n\'{y}, Filip and Kuncak, Viktor and R\"ummer, Philipp},
year = {2012},
booktitle = {ATVA},
pages = {187-202},
team = {DCS,PACSS},
}