%0 Book
%A / Andrei Voronkov, Christoph Weidenbach
%T Programming Logics
%U /book/93567123/Programming-Logics/