Anavai Ramesh;Neil V. Murray
-;-
Fast Subsumption Checks Using Anti-Links
Journal of Automated Reasoning