Studer, T. “Justification Logic, Inference Tracking, and Data Privacy”. Logic and Logical Philosophy, vol. 20, no. 4, Dec. 2011, pp. 297-06, doi:10.12775/LLP.2011.019.