Computer science logic : 6th Workshop, CSL '92 : San Miniato, Italy, September 28-October 2, 1992 : selected papers (Lecture notes in computer science ;, 1993)