publicações Utility of Minimality by prunning (using Justification Algorithms) in Partial Order Planning Documento