Rewriting techniques and applications, RTA-96. 7th international conference, New Brunswick, NJ, USA, July 27--30, 1996

From MaRDI portal
Publication:1279560