Speeding up inferences using relevance reasoning: A formalism and algorithms (1997)

by A Y Levy, R E Fikes, S Sagiv
Venue:Artificial Intelligence