Baumgartner, PeterWaldmann, Uwe2015-12-1011-13 Decehttp://hdl.handle.net/1885/66302Hierarchic Superposition: Completeness without Compactness20132015-12-10