000			00597nam a2200205 4500
008			160616s1988 000 0
245			_aFoundations of Logic and Functional Prgramming _bProceedings, Workshop, Trento, Italy, 1986
100			_aBoscarol, M. Ed.
100			_aCarlucci Aiello, L. Ed.
100			_aLevi, G. Ed.
260			_aBerlin
260			_bSpringer Verlag
260			_c1988
300			_a218
440			_aLecture notes in computer science ; 00306
020			_a3540191291
650			_aLogic _aFunctional Programming
942			_cBK _2BK13732
080			_a681 LNCS
999			_c13732 _d13732