# A polynomial Time Subsumption Algorithm for Nominal Safe<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si4.gif" overflow="scroll"><mml:mrow><mml:mi mathvariant="bold-script">E</mml:mi><mml:mi mathvariant="bold-script">L</mml:mi><mml:msub><mml:mi mathvariant="bold-script">O</mml:mi><mml:mi>⊥</mml:mi></mml:msub></mml:mrow></mml:math>under Rational Closure

> Research article (Information Sciences, 2018) · cited 31× · AI/ML

**Wikidata**: [openalex:W2788307127](https://www.wikidata.org/wiki/openalex:W2788307127)  
**Source**: https://4ort.xyz/entity/a-polynomial-time-subsumption-algorithm-for-nominal-safe-mml-math-xmlns-mml-http-www-w3-org-1998-math-mathml-altimg-si4-