@TECHREPORT{GeorgievaHustadtSchmidt02c,
AUTHOR = {Georgieva, L. and Hustadt, U. and Schmidt, R. A.}, 
MONTH = {July}, 
YEAR = {2002},
TITLE = {A New Clausal Class Decidable by Hyperresolution}, 
TYPE = {Preprint}, 
NUMBER = {CSPP-18}, 
INSTITUTION = {Department of Computer Science, University of Manchester}, 
}