Madhavan Mukund P. S. Thiagarajan A Logical Characterization of Well Branching Event Structures. 35-72 1992 96 Theor. Comput. Sci. 1 db/journals/tcs/tcs96.html#MukundT92