"Elsewhere Condition" [Kiparsky, P., 1982, "From Cyclic Phonology to Lexical Phonology", in H. van der Hulst and N. Smith, eds., "The Structure of Phonological Representations" (part I), Foris, Dordrecht, pp. 136-137] [...] Rules A, B in the same component apply disjunctively to a form φ if and only if (i) The structural description of A (the special rule) properly includes the structural description of B (the general rule) (ii) The result of applying A to φ is distinct from the result of applying B to φ. In that case, A is applied first, and if it takes effect, then B is not applied.
- Jensen & Stong-Jensen (2004), Pag. 217