M. Miestamo, “On the Complexity of Standard Negation”, FJL, pp. 345–356, Jan. 2006.