Quantifier elimination in a problem of logical design
scientific article; zbMATH DE number 3140025