Deciding Extensions of the Theories of Vectors and Bags. - Maier, Patrick (2009)