@article{benhamou1996concurrentedp,
author	=	{Belaid Benhamou and Richard G\'enisson and Antoine Rauzy},
title	=	{Une version concurrente de la proc\'edure de Davis et Putnam},
journal	=	{Revue d'Intelligence Artificielle},
publisher	=	{Herm\`es},
volume	=	{10},
number	=	{4},
pages	=	{499--506},
year	=	{1996}
}