String-matching with OBDDs
scientific article; zbMATH DE number 2085505