no code implementations • ROCLINGIJCLCLP 2013 • Weilin Shen, Jacqueline Vaissi{\`e}re, Fr{\'e}d{\'e}ric Isel