The problem of simplifying truth functions (1952)

by W V Quine
Venue:Am. Math. Mon