%0 Book
%A E. Brger...]et al.[, eds
%T Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
%U /book/101373749/Computer-science-logic-6th-Workshop-CSL92-San/