Loop-separable programs and their first-order definability
scientific article; zbMATH DE number 5909466