Hoffmann, J.; Fickert, M. Explicit Conjunctions Without Compilation: Computing hFF(PiC) in Polynomial Time. ICAPS 2015, 25, 115-119.