@ARTICLE{LH2010a,
 AUTHOR  = {Ludwig, Michel and Hustadt, Ullrich},
 TITLE   = {Implementing a fair monodic temporal logic prover},
 JOURNAL = {AI Communications},
 VOLUME  = {23},
 NUMBER  = {2--3},
 PAGES   = {69-96},
 YEAR    = {2010},
}