@INPROCEEDINGS{GHS2000a,
 AUTHOR        = {Georgieva, Lilia and Hustadt, Ullrich and Schmidt, Renate A.},
 TITLE         = {Hyperresolution for Guarded Formulae},
 PAGES         = {101--112},
 CROSSREF      = {FTP2000},
 YEAR          = {2000},
 BOOKTITLE     = {Proceedings of the Third International Workshop on 
 First-Order Theorem Proving (FTP 2000)},
 EDITOR        = {Baumgartner, Peter and Zhang, Hantao},
 PUBLISHER     = {Institut f{\"u}r Informatik, Universit{\"a}t Koblenz-Landau},
 PADDRESS      = {Koblenz, Germany},
 PYEAR         = {2000},
 CADDRESS      = {St. Andrews, Scotland},
 CYEAR         = {2000},
 CMONTH        = jul # {~3--5},
 SERIES        = {Fachberichte Informatik},
 VOLUME        = {5/2000},
}