Studer, T. Justification Logic, Inference Tracking, and Data Privacy. LLP 2011, 20, 297-306.