%0 Journal Article %A Byerly, Henry C. %A Merchant, Charles J. %D 1970 %I Duke University Press %J Notre Dame Journal of Formal Logic %N 2 %P 229-240 %T New algorithms for the statement and class calculi %V 11