著者:	19970902d1985 kemy0enga0121 ba
次要责任者:	International Conference on Rewriting Techniques and Applications
索书号:	1