Lazy Lempel-Ziv Factorization Algorithms
The smallest grammar problem