000			00546nam a2200205 4500
008			160616s1990 000 0
245			_aCSL '89 _bProceedings, 3rd Workshop, FRG, 1989
100			_aBorger, E. Ed.
100			_aKleine Buning, H. Ed.
100			_aRichter, M M. Ed.
260			_aBerlin
260			_bSpringer Verlag
260			_c1990
300			_a437
440			_aLecture notes in computer science ; 00440
020			_a3540537532
650			_aComputer Science Logic
942			_cBK _2BK13576
080			_a681 LNCS
999			_c13576 _d13576