Detlef G. Seese

• Decidability of [Greek letter omega]-trees with bounded sets