BAADER, Franz - NIPKOW, Tobias. Term rewriting and all that. 1st pbk. ed. Cambridge : Cambridge University Press, 1999. ISBN 0-521-77920-0.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.