%0 Book
%A Hans Kleine Buning, )ed.(
%T Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
%U /book/98851160/Computer-science-logic-9th-international-worksho/