Hoffmann, Joerg, and Maximilian Fickert. “Explicit Conjunctions Without Compilation: Computing hFF(PiC) in Polynomial Time”. Proceedings of the International Conference on Automated Planning and Scheduling 25, no. 1 (April 8, 2015): 115–119. Accessed May 9, 2026. https://ojs.aaai.org/index.php/ICAPS/article/view/13702.