@inproceedings{papini1993mixedapproach,
author	=	{Odile Papini and Antoine Rauzy},
title	=	{{A} {M}ixed {A}pproach of {R}evision in {P}ropositional {C}alculus},
booktitle	=	{Proceedings of {E}uropean {C}onference on {S}ymbolic and {Q}uantitative {A}pproaches to {R}easonning about {U}ncertainty, ECSQARU'93},
publisher	=	{LNCS},
editor	=	{M. Clarke, R. Kruse and S. Moral},
volume	=	{747},
pages	=	{296--303},
month	=	{November},
year	=	{1993}
}