Author: Henry E. Kyburg, jr., Howard E. Smokler