Authoritative reference literature in phonological theory documents the distinction between cyclic and non-cyclic rule applications, specifically noting that lexical rules may be cyclic.
rails:sufficiency:supported:single_source:for=1+1p:against=0+0p | v55:sufficiency