Non-asymptotic and second-order achievability bounds for source coding with side-information | IEEE Conference Publication | IEEE Xplore