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