A Resolution Rule for Well-Formed Formulae. - K. S. H. S. R. Bhatta; Harish Karnick (Theor. Comput. Sci., 1991)