Accessible Unlicensed Requires Authentication Published by De Gruyter 2010

Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations

Arnold Beckmann and Samuel R. Buss