Bernd Borchert Frank Stephan Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory. 489-504 2000 46 Math. Log. Q. 4 http://dx.doi.org/10.1002/1521-3870(200010)46:4<489::AID-MALQ489>3.0.CO;2-F db/journals/mlq/mlq46.html#BorchertS00