Proceedings of the first international workshop on term graph rewriting (TERMGRAPH 2002), Barcelona, Spain, October 7, 2002
scientific article; zbMATH DE number 6201169