%0 Book
%A 
%T Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
%U /book/72095899/Computer-science-logic-5th-Workshop-CSL-91-Be/