Advanced Topics in Term Rewriting (bachelor seminar)
Computational Logic (bachelor project)
Term Rewriting