000			00481nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9783034888004
100			_aManuel Bronstein, Johannes Grabmeier, Volker Weispfenning
245		0	_aSymbolic Rewriting Techniques
250			_a1998
260			_bBirkhäuser Basel _c1998
440			_aProgress in Computer Science and Applied Logic
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-3-0348-8800-4
999			_c7483 _d7483