Relating the bounded arithmetic and polynomial time hierarchies
scientific article; zbMATH DE number 802548
scientific article