Multiterminal source coding for correlated memoryless Gaussian sources with several side information at the decoder | IEEE Conference Publication | IEEE Xplore