Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman: Separability of Reachability Sets of Vector Addition Systems. STACS 2017: 24:1-24:14