000			00463nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540466703
100			_aHans-Jürgen Bürckert
245		2	_aA Resolution Principle for a Logic with Restricted Quantifiers
250			_a1991
260			_bSpringer Berlin Heidelberg _c1991
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-55034-8
999			_c26556 _d26556