TERM REWRITING SYSTEMS; ED. BY MARC BEZEM.
Series: CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE
Publisher: CAMBRIDGE UNIV PRESS
Place of publication: CAMBRIDGE
Language: und