Logic.12no3(2006)390--410に載っているStephanによって最初に問われた問題、covering問題に対して肯定的な答えを与える.
Logic.12no3(2006)390--410