A theory of strict P-completeness
scientific article; zbMATH DE number 679597
scientific article