Miestamo, M. On the Complexity of Standard Negation. FJL 2006, 345-356.