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