Semantical and computational aspects of Horn approximations
scientific article; zbMATH DE number 1493164