An approach is introduced to derive specificity in default theories. Compared with other methods, themethod handles priority quite well and has lower complexity. Then the prioritized stationary semantic for defaultlogic is defined. The method can strengthen the cautious stationary default reasoning without increasing thecomputational complexity very much.