http://www.liacs.nl/home/kosters/semalg/