Towards Coq Formalisation of {log} Set Constraints Resolution. - Catherine Dubois; Sulyvan Weppe (SETS@ABZ, 2018)