Deciding Extensions of the Theories of Vectors and Bags.

Patrick Maier

Browse the full VMCAI paper archive.