First-Order Logic Based Formalism for Temporal Data Mining <sup>*</sup>.

Paul Cotofrei Kilian Stoffel First-Order Logic Based Formalism for Temporal Data Mining <sup>*</sup>. 185-210 2005 Foundations of Data Mining and knowledge Discovery http://dx.doi.org/10.1007/11498186_12 series/sci/2005-6 db/series/sci/sci6.html#CotofreiS05