@inproceedings{genisson1996hornrenaming,
author	=	{Richard G{\'e}nisson and Antoine Rauzy},
title	=	{Efficient {H}orn renaming: yet a {D}avis and {P}utnam's procedure},
booktitle	=	{R\'esolution Pratique de Probl\`emes NP-Complets, CNPC'96},
publisher	=	{Teknea},
pages	=	{169--184},
year	=	{1996}
}