Analytic proof systems for classical and modal logics of restricted quantification. - Gent, Ian Philip (1993)