A Resolution Principle for a Logic with Restricted Quantifiers

@phdthesis{pub2383,
    author = {

Bürckert, Hans-Jürgen
},
    title = {A Resolution Principle for a Logic with Restricted Quantifiers},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    year = {1991},
    volume = {568}
}