@inproceedings{eyerich08kr,
   author = {Patrick Eyerich and Michael Brenner and Bernhard Nebel},
   title = {On the Complexity of Planning Operator Subsumption},
   booktitle = {Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008)},
   month = {september},
   year = {2008},
   publisher = {AAAI Press},
   pages = {518-527}
}