CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / - Börger, E.; Kleine Büning, H.; Richter, Michael M. (Springer-Verlag, 1989)