Moreau, Luc and Huynh, T. Dong and Michaelides, Danius  (2014) An Online Validator for Provenance: Algorithmic Design, Testing, and API.  In: 7th International Conference on Fundamental Approaches to Software Engineering (FASE'14), 5-13 April 2014, Grenoble, France.    (In Press)