Details of Programmer: Winands, Mark

Home page: http://www.cs.unimaas.nl/m.winands/.

Email:

Contributed to Magog.