Boolean reasoning : - Brown, Frank Markham 1930- (Kluwer Academic Publishers, 1990)