@INPROCEEDINGS{LudwigHustadtFTP2009,
 AUTHOR        = {Ludwig, Michel and Hustadt, Ullrich},
 TITLE         = {Redundancy Elimination in Monodic Temporal Reasoning},
 BOOKTITLE     = {Proceedings of the 7th International Workshop on First-Order
Theorem Proving (FTP 2009)},
 YEAR          = {2009},
 EDITOR        = {Peltier, N. and Sofronie-Stokkermans, V.},
 PAGES         = {},
 CADDRESS      = {Oslo, Norway},
 CYEAR         = {2009},
 CMONTH        = jul # {6--7},
}