@inproceedings{boi1990clpb,
author	=	{Jean-Marc Bo{\"\i} and Antoine Rauzy},
title	=	{La d\'emonstration automatique en calcul propositionnel au service de la programmation par contraintes},
booktitle	=	{Actes du S\'eminaire de Programmation en Logique de Tr\'egastel, SPLT'90},
eidtor	=	{Serge Bourgault and Mehmet Dincbas},
pages	=	{511--521},
publisher	=	{CNET},
year	=	{1990}
}