A Hypertableau Calculus for SHIQ

by Boris Motik , Rob Shearer , Ian Horrocks
Citations:2 - 1 self