Linse, Benedikt (2010): Data Integration on the (Semantic) Web with Rules and Rich Unification. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics