Franz Baader

Books
An Introduction to Description Logic An Introduction to Description Logic
An Introduction to Description Logic
2017
Term Rewriting and All That Term Rewriting and All That
Term Rewriting and All That
1998
Term Rewriting and Applications Term Rewriting and Applications
Term Rewriting and Applications
2007