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

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