A resolution principle for a logic with restricted quantifiers
By: H.-J. Bürckert.
Series: Lecture notes in computer science -- 568
Publisher: Springer-Verlag
Published: 1991
Place of publication: Berlin; London
Language: eng