The classical decision problem - Börger, Egon, 1946- (Perspectives in Mathematical Logic, 1997)