Mikhail Soutchanski Eugenia Ternovskaia Logical Formalization of Concurrent Actions for Multi-Agent Systems. 129-144 1994 conf/ecaiw/1994 ECAI Workshop on Agent Theories, Architectures, and Languages db/conf/ecaiw/ecaiw94.html#SoutchanskiT94