Optimised Reasoning for SHIQ.

Ian Horrocks, Ulrike Sattler

Browse the full ECAI paper archive.