Theory and Algorithms for Plan Merging
Planning for conjunctive goals