Doctoraatsproefschrift over: "Shapes Constraint Language: Formalization, Expressiveness, and Provenance"Promotor: Prof. dr. Jan Van den Bussche