Entrenchment-based Horn contraction
scientific article; zbMATH DE number 6353593