A Declarative Framework for Big Graph Analytics and their Provenance. - Vasiliki Papavasileiou (2018)