Stroik, . T. S. NP Prediction and Full Saturation. KWPL 1990, 15, 67-90. https://doi.org/10.17161/KWPL.1808.434.