Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers - Mogens Nielsen, Wolfgang Thomas ((Lecture Notes in Computer Science))