@inproceedings{BehnkeAAAI19,
   title = {Bringing Order to Chaos -- A Compact Representation of Partial Order in SAT-based HTN Planning},
   author = {Gregor Behnke and Daniel H{\"{o}}ller and Susanne Biundo},
   booktitle = {Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI)},
   publisher = {{AAAI} Press},
   pages = {7520--7529},
   year = {2019}
}