"totSAT - Totally-Ordered Hierarchical Planning Through SAT."

Gregor Behnke, Daniel Höller, Susanne Biundo (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics