Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers - Nielsen, Mogens; Nielsen, Mogens; Thomas, Wolfgang; Thomas, Wolfgang (Springer Berlin Heidelberg : Imprint: Springer, 1998)