G. Boniolo and L. Lanfrancone, “Decomposing Biological Complexity into a Conjunction of Theorems. The Case of the Melanoma Network”, HM, vol. 9, no. 30, pp. 19-35, Jun. 2016.