Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota
System Description: GAPT 2.0
IJCAR, 2016.
@inproceedings{IJCAR-2016-EbnerHRRWZ,
author = "Gabriel Ebner and Stefan Hetzl and Giselle Reis and Martin Riener and Simon Wolfsteiner and Sebastian Zivota",
booktitle = "{Proceedings of the Eighth International Joint Conference on Automated Reasoning}",
doi = "10.1007/978-3-319-40229-1_20",
isbn = "978-3-319-40228-4",
pages = "293--301",
publisher = "{Springer}",
title = "{System Description: GAPT 2.0}",
year = 2016,
}