Manfred Kochen. An experimental program for the selection of "disjunctive hypotheses". In Walter F. Bauer, editor, Papers presented at the 1961 western joint IRE-AIEE-ACM computer conference, IRE-AIEE-ACM 1961 (Western), Los Angeles, California, USA, May 9-11, 1961. pages 571-578, ACM, 1961. [doi]