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