-D. Wang (Ed.): Automated Deduction in Geometry. Proceedings 1996, Springer-Verlag 1998. (Subseries LNAI)