Boundedness is decidable by looking at covering, by constructing the Karp–Miller Tree.
חסימות היא כריעה על ידי בחינת בעיות כיסוי, על ידי בניית עץ קארפ-מילר.