3 <!DOCTYPE person SYSTEM "../person.dtd">
7 <surname>Goguadze</surname>
8 <position>Ph.D. Student</position>
9 <e-mail>george@activemath.org</e-mail>
10 <url>http://www.activemath.org/~george/</url>
12 Faculty of Computer Science,
13 University of Saarland,
18 <telephone>+-49 (681) 302 5322</telephone>