. T. S. Stroik, “NP Prediction and Full Saturation”, KWPL, vol. 15, pp. 67–90, Jan. 1990, doi: 10.17161/KWPL.1808.434.