%0 Book
%A 
%T Advances in linear logic
%U /book/92951662/Advances-in-linear-logic/