author : Matthias Jantzen

Short works

• Basics of Term Rewriting. 1997. (In Beyond Words )