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