Simple and efficient clause subsumption with feature vector indexing

Journal

• Proc. the IJCAR-2004 Workshop on Empirically Successful First-Order Theorem Proving

  Proc. the IJCAR-2004 Workshop on Empirically Successful First-Order Theorem Proving 2004

  ENTCS