Computer Science Logic : 12th International Workshop, CSL '98 : Annual Conference of the EACSL : Brno, Czech Republic, August 24-28, 1998 : proceedings - Gottlob, Georg, 1956- (Springer, 1998)