Y. Arbach, D. Karcher, K. Peters, und 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 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1995)