On Partial Satisfaction Planning with Total-Order HTNsGregor BehnkeDavid Specket al.2023ICAPS 2023Conference paper