On the Complexity of Planning Operator Subsumption.

Patrick Eyerich Michael Brenner Bernhard Nebel On the Complexity of Planning Operator Subsumption. 518-527 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#EyerichBN08