Suda M. Property Directed Reachability for Automated Planning. ICAPS [Internet]. 2014 May 11 [cited 2026 May 26];24(1):540-1. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13655