@INPROCEEDINGS{HustadtKonevSchmidt05,
AUTHOR = {Hustadt, U. and Konev, B. and Schmidt, R. A.},
YEAR = {2005},
TITLE = {Deciding Monodic Fragments by Temporal Resolution},
EDITOR = {Nieuwenhuis, R.},
BOOKTITLE = {Proceedings of the 20th International Conference on Automated Deductio
n (CADE-20)},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {3632},
PUBLISHER = {Springer},
PAGES = {204--218},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/HustadtKonevSchmidt05.html},
}