Pablo Arrighi Vincent Nesme 43-53 2010 JAC http://hal.archives-ouvertes.fr/view_by_stamp.php?&halsid=hui3r3f2euu9snj9pqte72j4e2&label=JAC2010&langue=en&action_todo=view&id=hal-00542488&version=1 conf/jac/2010 db/conf/jac/jac2010.html#ArrighiN10