Return to Article Details Search Reduction through Conservative Abstract-Space Based Heuristic Download Download PDF