1976, "On deciding the truth of certain statements involving the notion of consistency," "Journal of Symbolic Logic 41": 779-781.