Beniamino Accattoli, Claudio Sacerdoti Coen. On the value of variables. Inf. Comput., 255:224-242, 2017. [doi]
@article{AccattoliC17, title = {On the value of variables}, author = {Beniamino Accattoli and Claudio Sacerdoti Coen}, year = {2017}, doi = {10.1016/j.ic.2017.01.003}, url = {https://doi.org/10.1016/j.ic.2017.01.003}, researchr = {https://researchr.org/publication/AccattoliC17}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {255}, pages = {224-242}, }