Holger Dell: AND-compression of NP-complete Problems: Streamlined Proof and Minor Observations. IPEC 2014: 184-195