Planning by Abstraction Using HW[]