000			00356nam a2200157Ia 4500
008			240618s9999||||xx |||||||||||||| ||und||
020			_aKBCS _c69
040			_aMAIN
082			_a901
100			_aBESNARD,PHILIPPE _935503
245		0	_aINTRODUCTION TO DEFAULT LOGIC
260			_bSV _c1989 _aBERLIN
300			_b208
500			_aBR-1143
942			_cBK
999			_c42413 _d42413