Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Action planning for graph transition systems. In: ICAPS'05 Workshop on verification and validation of model-based planning and scheduling systems, 5th-10th June 2005, Monterey, California, USA (Unpublished) (2005)