Comparative schematology and pebbling with auxiliary pushdownsNicholas Pippenger1980STOC 1980Conference paper