System Description: E.T. 0.1

Kaliszyk, C., Schulz, S., Urban, J., Vyskočil, J.

KALISZYK, C., et al. System Description: E.T. 0.1. In: FELTY, A. P. and A. MIDDELDORP, eds. Automated Deduction - CADE-25. 25th International Conference on Automated Deduction, Berlin, 2015-08-01/2015-08-07. Cham: Springer International Publishing, 2015. p. 389-398. Lecture Notes in Computer Science. ISSN 0302-9743. ISBN 978-3-319-21400-9. DOI 10.1007/978-3-319-21401-6_27.

URL: http://link.springer.com/chapter/10.1007%2F978-3-319-21401-6_27