Web Applications.- Graph Transformation for Merging User Navigation Histories.- Towards Validatio...