Decidability of [Greek letter omega]-trees with bounded setsDetlef G. Seese · First published 1978Open the Tome