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