A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers
scientific article; zbMATH DE number 7958429
scientific article