Hyperequivalence of logic programs with respect to supported models
scientific article; zbMATH DE number 5576030
scientific article