Title: A resolution principle for a logic with restricted quantifiers
Subjects: Automatic theorem proving, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Logic programming, Artificial intelligence