Osvaldo Carvalho Gérard Roucairol On the Distribution of an Assertion. 121-131 1982 PODC db/conf/podc/podc82.html#CarvalhoR82