@inproceedings{boi1990clpb3,
author	=	{Jean-Marc Bo{\"\i} and Antoine Rauzy},
title	=	{Two Algorithms for Constraints System Solving in Propositional Calculus and their Implementation in Prolog{III}},
booktitle	=	{Proceedings Artificial Intelligence IV Methodology, Systems, Applications (AIMSA'90)},
month	=	{September},
year	=	{1990},
pages	=	{139--148},
editor	=	{P.~Jorrand and V.~Sugrev},
publisher	=	{North-Holand},
address	=	{Alba-Varna, Bulgaria},
isbn	=	{0-444-88771-7}
}