Planning with a language for extended goals

by Ugo Dal Lago, Marco Pistore, Paolo Traverso