A New Admissible Heuristic for Minimal-Cost Proofs. - Eugene Charniak; Saadia Husain (AAAI, 1991)