Suda, M. Property Directed Reachability for Automated Planning. ICAPS 2014, 24, 540-541.