Symbolic rewriting techniques. Papers from the workshop held in Ascona, Switzerland, April 30 - May 4, 1995

From MaRDI portal
Publication:1266856