A Vampire-Based Tool for Minimising Interpolants (bibtex)
by Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov
Reference:
A Vampire-Based Tool for Minimising InterpolantsKrystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov2012.
Bibtex Entry:
@techreport{hoder12,
title = {A Vampire-Based Tool for Minimising Interpolants},
url = {/pubpdf/A_Vampire-Based_Tool_for_Minimising_Interpolants.pdf},
author = {Krystof Hoder and Andreas Holzer and Laura Kov{\'a}cs and Andrei
Voronkov},
year = {2012},
}
Powered by bibtexbrowser