1. alv homepage,
http://www.cs.ucsb.edu/~bultan/composite/
2. The brain homepage,
http://www.cs.man.ac.uk/~voronkov/BRAIN/
3. Design/CPN online,
http://www.daimi.au.dk/designCPN
4. Delzanno, G.: Home Page – Giorgio Delzanno,
http://www.disi.unige.it/person/DelzannoG/
5. fast homepage,
http://www.lsv.ens-cachan.fr/~leroux/fast/