Finiteness lemmas
1991 ◽
pp. 60-67