3 <!DOCTYPE person SYSTEM "../person.dtd">
7 <surname>Libbrecht</surname>
8 <position>Ph.D. Student</position>
9 <e-mail>paul@activemath.org</e-mail>
10 <url>http://www.activemath.org/~paul/</url>
11 <address>AG Siekmann, DFKI, Stuhlsatzenhausweg 3, 66123 Saarbrücken,
13 <telephone>+49 681 302 4628</telephone>
14 <fax>+49 681 302 5076</fax>