PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
Artificial intelligence: A modern approach