@inproceedings{BehnkeAAAI18,
   title = {{totSAT} -- Totally-Ordered Hierarchical Planning through {SAT}},
   author = {Gregor Behnke and Daniel H{\"{o}}ller and Susanne Biundo},
   booktitle = {Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI)},
   publisher = {{AAAI} Press},
   pages = {6110--6118},
   year = {2018}
}