Y. Arbach, D. Karcher, K. Peters, and U. Nestmann. (2015)cite arxiv:1504.00512Comment: Proofs and additional information for the FORTE'15 paper 'Dynamic Causality in Event Structures'.
W. Janssen. Tools and Algorithms for the Construction and Analysis of Systems, volume 1019 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1995)