Hoffmann, J., and M. Fickert. “Explicit Conjunctions Without Compilation: Computing hFF(PiC) in Polynomial Time”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 25, no. 1, Apr. 2015, pp. 115-9, doi:10.1609/icaps.v25i1.13702.