Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings Gottlob Georg Heftet / 1999 / Engelsk
