CSS Minification via Constraint Solving. - Hague, Matthew; Lin, Anthony W.; Hong, Chih-Duo (ACM Trans. Program. Lang. Syst., 2019)