@INPROCEEDINGS{GHS2002b,
 AUTHOR        = {Georgieva, Lilia and Hustadt, Ullrich and Schmidt, Renate A.},
 TITLE         = {A new clausal class decidable by hyperresolution},
 BOOKTITLE     = {Proceedings of the 18th International Conference on Automated Deduc
tion (CADE-18)},
 YEAR          = {2002},
 EDITOR        = {Voronkov, Andrei},
 PAGES         = {258--272},
 PUBLISHER     = {Springer},
 PYEAR         = {2002},
 CADDRESS      = {Copenhagen, Denmark},
 CYEAR         = {2002},
 CMONTH        = jul # {~27--30},
 SERIES        = {LNAI},
 VOLUME        = {2392},
}