@inproceedings{BehnkeICTAI18,
   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 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)},
   publisher = {{IEEE} Computer Society},
   pages = {73--80},
   year = {2018}
}