Cashmore, M.; Fox, M.; Long, D.; Magazzeni, D. A Compilation of the Full PDDL+ Language into SMT. ICAPS 2016, 26, 79-87.