1. Beating LM-cut with hmax (sometimes): fork-decoupled state space search;Gnad,2015
2. From fork decoupling to star-topology decoupling;Gnad,2015
3. Á. Torralba, D. Gnad, P. Dubbert, J. Hoffmann, On state-dominance criteria in fork-decoupled search, in: [116], 2016.
4. Automated Planning: Theory and Practice;Ghallab,2004
5. Diagnosis of Active Systems;Lamperti,2003