Ernst W. Mayr Ashok Subramanian The Complexity of Circuit Value and Network Stability. 302-323 1992 44 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss44.html#MayrS92