A sufficient condition for finite decidability
scientific article; zbMATH DE number 1226561