Extending Answer Set Planning with Sequence, Conditional, Loop,
Non-Deterministic Choice, Procedure, and Hierarchical Constructs
The page has moved. Please follow this
link
.