Osvaldo Carvalho, Gérard Roucairol. On the Distribution of an Assertion. In PODC. pages 121-131, 1982.
@inproceedings{CarvalhoR82,
title = {On the Distribution of an Assertion},
author = {Osvaldo Carvalho and Gérard Roucairol},
year = {1982},
researchr = {https://researchr.org/publication/CarvalhoR82},
cites = {0},
citedby = {0},
pages = {121-131},
booktitle = {PODC},
}