@incollection{rauzy1993booleanunification,
author	=	{Antoine Rauzy},
title	=	{Boolean Unification: an Efficient Algorithm},
booktitle	=	{{C}onstraint {L}ogic {P}rogramming: Selected Research},
editor	=	{Alain Colmerauer and Fr\'ed\'eric Benhamou},
publisher	=	{MIT Press},
isbn	=	{0-262-02353-9},
pages	=	{237--251},
year	=	{1993}
}