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 November 5, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/13702.