@inproceedings{BehnkeICAPS15,
   title = {On the Complexity of {HTN} Plan Verification and its Implications for Plan Recognition},
   author = {Gregor Behnke and Daniel H{\"{o}}ller and Susanne Biundo},
   booktitle = {Proceedings of the 25th International Conference on Automated Planning and Scheduling ({ICAPS})},
   publisher = {{AAAI} Press},
   pages = {25-33},
   year = {2015}
}