http://theoryofcomputing.org ISSN 1557-2862
complexity
Volume 5, Article 7 (pages 135-140) [NOTE]
A Simple Proof of Toda's Theorem
by
Lance Fortnow