This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Christoph Burnikel, Kurt Mehlhorn, and Stefan Schirra.
How to Compute the Voronoi Diagram of Line Segments: Theoretical
and Experimental Results.
In Proceedings of the 2nd European Symposium on Algorithms (ESA94),
Arnhem, The Netherlands, pages 227-239, 1994.

Paul J.
Heffernan and Stefan Schirra.
Approximate Decision Algorithms for Point Set Congruence.
Computational Geometry: Theory and Applications, 4(3):137-156,
July 1994.
Conference version in Proceedings of the 8th ACM Symposium on Computational
Geometry, 1992.

Stefan Schirra.
On the Use of Adaptive, Exact Decisions Number Types Based on Expression-Dags
in Geometric Computing.
In Proc. of the Canadian Conference on Computational Geometry,
pages 412-418, 2014.

Bianca Truthe.
A Method for Deciding the Finiteness of Deterministic Tabled
Picture Languages.
In Proceedings of the Eighth International Conference on Developments in
Language Theory, Auckland, New Zealand, volume 3340 of Lecture
Notes in Computer Science, pages 406-417, Berlin, December 2004.
Springer-Verlag.