T. Studer, “Justification logic, inference tracking, and data privacy”, LLP, vol. 20, no. 4, pp. 297–306, Dec. 2011.