Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings - Gottlob, Georg; Gottlob, Georg; Grandjean, Etienne; Grandjean, Etienne; Seyr, Katrin; Seyr, Katrin (Springer Berlin Heidelberg : Imprint: Springer, 1999)