Lodaya, K. and Thiagarajan, P. S. (1987) “A Modal Logic for a Subclass of Event Structures”, DAIMI Report Series, 16(220). doi: 10.7146/dpb.v16i220.7571.