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