Term rewriting and all that - Baader, Franz, 1959-; Nipkow, Tobias, 1958- (Cambridge : Cambridge University Press, 1998)
Keywords: počítačová věda; computer science; monografie; monographs