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