Negation-limited circuit complexity of symmetric functions. - Tanaka, Keisuke (Information processing letters.)