Autark assignments of Horn CNFs
scientific article; zbMATH DE number 6859026
scientific article