Computational logic : symposium proceedings, Brussels, November 13/14, 1990 - Lloyd, J. W. (John Wylie), 1947- (Springer-Verlag, 1990)