Julia F. Knight Requirement Systems. 222-245 1995 60 J. Symb. Log. 1 db/journals/jsyml/jsyml60.html#Knight95