Tobias Nipkow (1998): Term Rewriting and All That (0)

by Franz Baader