A Reasoning Algorithm for pD*