Dolph Ulrich: On a Property of Matrices for Subsystems of IC+. Math. Log. Q. 22(1): 193-194 (1976)