1. Translating HTNs to PDDL: a small amount of domain knowledge can go a long way;Alford,2009
2. Extracting mutual exclusion invariants from lifted temporal planning domains;Bernardini;Artif. Intell.,2018
3. Efficiently reasoning with interval constraints in forward search planning;Coles,2019
4. A new approach to the application of theorem proving to problem solving;Fikes,1971
5. The automatic inference of state invariants in TIM;Fox;J. Artif. Intell. Res.,1998