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

Term Rewriting and All That

1998