Vinter: A Vampire-Based Tool for Interpolation (bibtex)
by Kryštof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov
Reference:
Vinter: A Vampire-Based Tool for InterpolationKryštof Hoder, Andreas Holzer, Laura Kovács, Andrei VoronkovProceedings of Asian Symposium on Programming Languages and Systems (APLAS 2012), volume 7705 of LNCS, pages 148-146, 2012.
Bibtex Entry:
@inproceedings{APLAS12_Kovacs,
title = {Vinter: A Vampire-Based Tool for Interpolation},
url = {/pubpdf/Vinter12.pdf},
series = {LNCS},
booktitle = {Proceedings of Asian Symposium on Programming Languages and Systems
(APLAS 2012)},
author = {Kry\v{s}tof Hoder and Andreas Holzer and Laura Kov\'acs and Andrei
Voronkov},
volume = {7705},
year = {2012},
pages = {148-146},
}
Powered by bibtexbrowser