ML Anthology

Shearer, Robert D. C.

1 publications

JAIR 2009 Hypertableau Reasoning for Description Logics Boris Motik, Robert D. C. Shearer, Ian Horrocks