@inproceedings{boi1991booleanconstraints,
author	=	{Jean-Marc Bo{\"\i} and Antoine Rauzy},
title	=	{{U}sing {B}oolean {C}onstraints in {P}rolog},
booktitle	=	{Proceedings of the Italian Conference on Logic Programming GULP'91},
publisher	=	{GULP},
year	=	{1991}
}