Theory and Algorithms for Partial Order Based Reduction in Planning