Title: A resolution principle for a logic with restricted quantifiers
First published: 1991