Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science)

by Terese Hardcover details (UK). ISBN: 978-0-521-39115-3 ISBN-10: 0-521-39115-6 Cambridge University Press · 2003