Proximal algorithm for solving monotone variational inclusion. (3rd August 2018)