Reformulating Planning Problems: A Theoretical Point of View