Anavai Ramesh Bernhard Beckert Reiner Hähnle Neil V. Murray Fast Subsumption Checks Using Anti-Links. 47-83 1997 18 J. Autom. Reasoning 1 db/journals/jar/jar18.html#RameshBHM97