"Totality, Definability and Boolean Ciruits."

Antonio Bucciarelli, Ivano Salvo (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics