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

by Franz Baader