%0 Book
%A E. Borger, H. Kleine Buning, M.M. Richter )eds.(
%T CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
%U /book/101373418/CSL88-2nd-Workshop-on-Computer-Science-Logic-D/