CSL '89. 3rd workshop on computer science logic : Konf. Kaiserslautern, FRG, 2.- 6. Oct. 1989 - Börger, E (Lecture Notes in Computer Science, 1990)