1. Belhajjame, K., et al.: PROV-DM: the PROV data model. www.w3.org/TR/prov-dm (2012)
2. Clingo: A grounder and solver for logic programs. https://github.com/potassco/clingo
3. Cuevas-Vicenttín, V., et al.: ProvONE: a PROV extension data model for scientific workflow provenance (2016). http://jenkins-1.dataone.org/jenkins/view/DocumentationProjects/job/ProvONE-Documentation-trunk/ws/provenance/ProvONE/v1/provone.html
4. Dey, S.C., Köhler, S., Bowers, S., Ludäscher, B.: Datalog as a Lingua Franca for Provenance Querying and Reasoning. In: Workshop on Theory and Practice of Provenance (TaPP) (2012)
5. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. CoRR arXiv:1705.09811 (2017)