@inproceedings{papini1995extendedcalculus,
author	=	{Odile Papini and Antoine Rauzy},
title	=	{{R}evision in {E}xtended {P}ropositionnal {C}alculus},
booktitle	=	{Proceedings of {E}uropean {C}onference on {S}ymbolic and {Q}uantitative {A}pproaches to {R}easonning about {U}ncertainty, ECSQARU'95},
editor	=	{C. Froidevaux and J. Kohlas},
publisher	=	{LNAI},
volume	=	{946},
pages	=	{328--335},
isbn	=	{3-540-60112-0},
year	=	{1995}
}