Automata-based model counting for string constraints
scientific article; zbMATH DE number 6845662