%0 Book
%A 
%T CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
%U /book/72161737/CSL-89-3rd-Workshop-on-Computer-Science-Logic-K/