@InProceedings{EH+16, Author = "Ebner, G. and Hetzl, S. and Reis, G. and Riener, M. and Wolfsteiner, S. and Zivota, S.", Year = "2016", Title = "{System Description: GAPT 2.0}", Editor = "Olivetti, N. and Tiwari, A.", BookTitle = "{Proceedings of the 8th International Joint Conference on Automated Reasoning}", Place = "Coimbra, Portugal", Series = "Lecture Notes in Artificial Intelligence", Number = "9706", Pages = "293-301", Comment = "TPTPRef" }