Extremal solutions of inequations over lattices with applications to supervisory control
scientific article; zbMATH DE number 984956