A STATIC ANALYSIS FRAMEWORK FOR LIVELOCK FREEDOM IN CSP. - OUAKNINE, JOËL; PALIKAREVA, HRISTINA; ROSCOE, A. W.; WORRELL, JAMES (Logical Methods in Computer Science (LMCS), 2013)