000			00411nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540470830
100			_aAndrei Voronkov
245		0	_aLogic Programming
250			_a1992
260			_bSpringer Berlin Heidelberg _c1992
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-55460-2
999			_c26693 _d26693