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 VoronkovAPLAS, December 2012, Springer.
Bibtex Entry:
@inproceedings{aplas12,
  author= {Kryštof Hoder and Andreas Holzer and Laura Kov\'acs and Andrei Voronkov},
  title = {Vinter: A Vampire-Based Tool for Interpolation},
  booktitle = {APLAS},
  year = {2012},
 month = {December},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
}
Powered by bibtexbrowser