@inproceedings{Kohlhase, title = {Presenting Mathematical Content With Flexible Elisions}, author = {Michael Kohlhase and Christoph Lange and Florian Rabe}, crossref = {OpenJEM07}, keywords = {clange-phd}, pubstate = {published}, tppubtype = {inproceedings} }