Computer Science Logic : 11th International Workshop, CSL '97 : Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers - Nielsen, Mogens, 1949-; Thomas, Wolfgang, 1947- (Lecture notes in computer science, 1997)