Pierre-Louis Cayrel Ayoub Otmani Damien Vergnaud On Kabatianskii-Krouk-Smeets Signatures. 237-251 2007 conf/waifi/2007 WAIFI http://dx.doi.org/10.1007/978-3-540-73074-3_18 db/conf/waifi/waifi2007.html#CayrelOV07