Antoy et al. proved in the 1990s that a particular narrowing strategy, needed narrowing, is optimal in the sense of doing a number of reductions to get to a "normal form" corresponding to a solution that is minimal among sound and complete strategies.
Antoy et al. a demonstrat în anii 1990 că o strategie specială de îngustare, este optimă în sensul de a face o serie de reduceri pentru a ajunge la o "formă normală" corespunzătoare unei soluții care este minimă între strategiile solide și complete.