Login / Signup

A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure.

Giovanni CasiniUmberto StracciaThomas Meyer
Published in: Inf. Sci. (2019)
Keyphrases