Return to Article Details Abstraction Heuristics Extended with Counting Abstractions Download Download PDF