Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / - Nielsen, M.; Thomas, Wolfgang, (Springer,, 1998)