2
TITLE: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
AUTHORS: Georg Gottlob; Etienne Grandjean; Katrin Seyr;
PUBLISHED: 1999, SOURCE: CSL, VOLUME: 1584
INDEXED IN: DBLP