An Introduction to Description Logic More Books by Franz Baader, Ian Horrocks, Carsten Lutz & Uli Sattler

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