J. Hoffmann and M. Fickert, “Explicit Conjunctions without Compilation: Computing hFF(PiC) in Polynomial Time”, ICAPS, vol. 25, no. 1, pp. 115-119, Apr. 2015.