TY  - BOOK
AU  - Gottlob, Georg
AU  - Grandjean, Etienne
AU  - Seyr, Katrin Eds.
TI  - Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
SN  - 3540659226
CY  - Berlin
KW  - Computer logic
KW  - Congresses
ER  -