@INPROCEEDINGS{HKS2005a,
 AUTHOR        = {Ullrich Hustadt and Boris Konev and Renate A. Schmidt},
 TITLE         = {Deciding Monodic Fragments by Temporal Resolution},
 BOOKTITLE     = {Proceedings of the 20th International Conference on
 Automated Deduction (CADE-20)},
 YEAR          = {2005},
 EDITOR        = {Robert Nieuwenhuis},
 PAGES         = {204--218},
 PUBLISHER     = {Springer},
 PYEAR         = {2005},
 CADDRESS      = {Tallinn, Estonia},
 CYEAR         = {2005},
 CMONTH        = jul # {~22--27},
 SERIES        = {LNAI},
 VOLUME        = {3632},
}