Rewriting Techniques and Applications (RTA 2001)
Proceedings of the 12th International Conference, Utrecht, The Netherlands
Aart Middeldorp (ed.)
Lecture Notes in Computer Science 2051, 2001
BibTeX Entry
@proceedings{RTA01,
editor = "Aart Middeldorp",
title = "Proceedings of the 12th International Conference on Rewriting
Techniques and Applications",
series = "Lecture Notes in Computer Science",
volume = 2051,
publisher = "Springer-Verlag",
year = 2001,
doi = "10.1007/3-540-45127-7"
}
© Springer