On completeness theorems for feature logics
scientific article; zbMATH DE number 1005790