Substitutions and refinement operators for PCNF by L. De Raedt, S.H. Nienhuys-Cheng & W. van Laer