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