@InProceedings{KS+15, Author = "Kaliszyk, C. and Schulz, S. and Urban, J. and Vyskocil, J.", Year = "2015", Title = "{System Description: E.T. 0.1}", Editor = "Felty, A. and Middeldorp, A.", BookTitle = "{Proceedings of the 25th International Conference on Automated Deduction}", Place = "Berlin, Germany", Series = "Lecture Notes in Computer Science", Number = "9195", Pages = "389-398", Publisher = "Springer-Verlag", Comment = "" }