%0 Book
%A 
%T CSL'87 lst workshop on computer science logic
%U /book/72137736/CSL87-lst-workshop-on-computer-science-logic/