Chemical discovery and the logicians' program a problematic pairing - Berson, Jerome A. (Wiley-VCH, 2003)