Return to Article Details Implicit Abstraction Heuristics Download Download PDF