Bernd Borchert Frank Stephan Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory. 114-127 1997 conf/kgc/1997 Kurt Gödel Colloquium db/conf/kgc/kgc97.html#BorchertS97