Gerd Große Hesham Khalil State Event Logic. 47-74 1996 4 Logic Journal of the IGPL 1 http://dx.doi.org/10.1093/jigpal/4.1.47 db/journals/igpl/igpl4.html#GrosseK96