@inproceedings{BehnkeHPlan18,
   title = {Tracking Branches in Trees -- A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems},
   author = {Gregor Behnke and Daniel H{\"{o}}ller and Susanne Biundo},
   booktitle = {Proceedings of the 1st ICAPS Workshop on Hierarchical Planning (HPlan)},
   pages = {40--47},
   year = {2018}
}