Blasco, Chen, Muttik, Roggenbach, 2017. Detection of App Collusion Potential Using Logic Programming.