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