Argument duplication in probabilistic CSP (1995)

by C Morgan, A McIver, K Seidel, J W Sanders