At the Roots of Dictionary Compression: String Attractors
The smallest grammar problem