author = {A. Maletzky},
title = {{Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0}},
booktitle = {{Mathematical Software - ICMS 2016}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {9725},
pages = {59--66},
publisher = {Springer-Verlag},
isbn_issn = {ISBN 978-3-319-42432-3},
year = {2016},
note = {The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42432-3_8},
editor = {Gert-Martin Greuel and Peter Paule and Andrew Sommese},
refereed = {yes},
length = {8},
conferencename = {5th International Congress on Mathematical Software, Berlin, Germany, July 11--14},
url = {http://dx.doi.org/10.1007/978-3-319-42432-3_8}