Non-Definability of the Class of Complete Bundled Trees. - Alberto Zanardo; Bruno Barcellan; Mark Reynolds 001 (Log. J. IGPL, 1999)