"A Circuit-Based Proof of Toda's Theorem"

Ravi Kannan et al. (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics