@Inproceedings{EPTCS167.6, author = {Libal, Tomer and Riener, Martin and Rukhaia, Mikheil}, year = {2014}, title = {Advanced Proof Viewing in ProofTool}, editor = {Benzm\"uller, Christoph and Paleo, Bruno Woltzenlogel}, booktitle = {{\rm Proceedings Eleventh Workshop on} User Interfaces for Theorem Provers, {\rm Vienna, Austria, 17th July 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {167}, publisher = {Open Publishing Association}, pages = {35-47}, doi = {10.4204/EPTCS.167.6}, }