Bounded Immunity and Btt-Reductions (1999)

by Stephen Fenner, Marcus Schaefer
Venue:MLQ Math. Log. Q