@inproceedings{BDK+10c,
title = {On the Equality of Probabilistic Terms },
author = {Barthe, Gilles and Daubignard, Marion and Kapron, Bruce M. and Lakhnech, Yassine and Laporte, Vincent},
year = {2010},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers},
pages = {46-63},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6355},
team = {DCS},
}