Choong-Ho Yi:
Toward the assessment of logics for concurrent actions
Presented at the AAAI Spring Symposium 1995.