"Feasible Proofs and Computations: Partnership and Fusion."

Alexander A. Razborov (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics