Descubrimiento de patrones secuenciales utilizando razonamiento lógico temporal - Solano Rojas, Braulio José 1977- (Tesis (maestría académica en computación e informática)–Universidad de Costa Rica. Sistema de Estudios de Posgrado, 2011, 2011)