Logic of temporal attribute implications | Read Paper on Bytez