Publications HAL de la collection xsb