Szymon Klarman, Stefan Schlobach, Luciano Serafini. Formal Verification of Data Provenance Records. In Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist, editors, The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I. Volume 7649 of Lecture Notes in Computer Science, pages 215-230, Springer, 2012. [doi]