Recognition of \(q\)-Horn formulae in linear time
scientific article; zbMATH DE number 683676