Detection of app collusion potential using logic programming. (1st March 2018)