Computational logic - Berger, Ulrich, 1956-; Schwichtenberg, Helmut, 1955- (Springer, 1999)