Computer science logic 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / - Pacholski, Leszek.; Tiuryn, Jerzy. (Lecture notes in computer science ;)