Representing Knowledge with Functions and Boolean Arrays. - Kenneth Fordyce; Jan Jantzen; Gerald A. Sullivan Sr.; Gerald A. Sullivan Jr. (IBM J. Res. Dev., 1989)