Fast subsumption checks using anti-links
From MaRDI portal
Publication:679247
DOI10.1023/A:1005711712356zbMath0870.68135OpenAlexW1554654858MaRDI QIDQ679247
Neil V. Murray, Reiner Hähnle, Anavai Ramesh, Bernhard Beckert
Publication date: 7 September 1997
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005711712356
Related Items
