Stefan Wölfl Events in Branching Time. 255-282 2005 79 Studia Logica 2 http://dx.doi.org/10.1007/s11225-005-2978-z db/journals/sLogica/sLogica79.html#Wolfl05