Resolution and the weak pigeonhole principle," manuscript (1996)

by S Buss, T Pitassi