SRASS - A Semantic Relevance Axiom Selection System.

Geoff Sutcliffe, Yury Puzis

Browse the full CADE paper archive.