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