On the Complexity of Planning Operator Subsumption.

Patrick Eyerich, Michael Brenner, Bernhard Nebel

Browse the full KR paper archive.