IFIP WG 1.6 Homepage

IFIP Working Group 1.6 - Term Rewriting

The web page of the working group has moved to http://verify.rwth-aachen.de/IFIP-WG1.6/

Last modified: 28-Apr-2009