Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings Narendran Paliath Heftet / 1999 / Engelsk
Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings Basin David Heftet / 2004 / Engelsk
Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings Rusinowitch Michael Heftet / 1993 / Engelsk
