Towards query optimization for the data web: disk-based algorithms: trace equivalence and bisimilarity. - Ala' Hawash; Anton Deik; Bilal Farraj; Mustafa Jarrar (ISWSA, 2010)