<!DOCTYPE person SYSTEM "../person.dtd">
<person>
- <name>Luiz</name>
- <surname>Crus-Filipe</surname>
+ <name>Luís</name>
+ <surname>Cruz-Filipe</surname>
<position>Ph.D. Student, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>lcf@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~lcf</url>
</person>