Zaslat SMS: Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.).