Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. - Stefano Rossignoli; Fausto Spoto (VMCAI, 2006)