Deterministic Oversubscription Planning as Heuristic Search: Abstractions and Reformulations