@InProceedings{kr-dseg-01,
author = { Ulrich Kortenkamp and J{\"u}rgen Richter-Gebert },
title = { A Dynamic Setup For Elementary Geometry },
booktitle = { Proceedings of MTCM 2000 },
year = { 2001 },
publisher = { Springer-Verlag },
}
