Resultado de la búsqueda: secuencial deductiva