@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}
}