Towards feasible solutions of the tautology problemBradford DunhamHao Wang1976Annals of Mathematical Logic