http://www.liaad.up.pt/~pbrazdil/
http://dml.cs.byu.edu/wiki/index.php/Christophe_Giraud-Carrier
http://www.liaad.up.pt/~csoares/
http://www2.cs.uh.edu/~vilalta/
