Neeraj Bhatnagar Jack Mostow Adaptive Search by Explanation-Based Learning of Heuristic Censors. 895-901 1990 AAAI db/conf/aaai/aaai90.html#BhatnagarM90