Studer, T. (2011) “Justification logic, inference tracking, and data privacy”, Logic and Logical Philosophy, 20(4), pp. 297–306. doi: 10.12775/LLP.2011.019.