Term Rewriting and Applications

MLA

Baader, Franz, Takeo Kanade, and Josef Kittler. Term Rewriting and Applications. Springer Berlin Heidelberg, 2007.

APA

Baader, F., Kanade, T., & Kittler, J. (2007). Term Rewriting and Applications. Springer Berlin Heidelberg.

Chicago

Baader, Franz, Takeo Kanade, and Josef Kittler. Term Rewriting and Applications. : Springer Berlin Heidelberg, 2007.