The Complexity of Ordering Subgoals.

Jeffrey D. Ullman, Moshe Y. Vardi

Browse the full PODS paper archive.