000			00473nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540476382
100			_aC. Fermüller, A. Leitsch, Tanel Tammet, Nail Zamov
245		0	_aResolution Methods for the Decision Problem
250			_a1993
260			_bSpringer Berlin Heidelberg _c1993
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-56732-1
999			_c26651 _d26651