Logical Formalization of Concurrent Actions for Multi-Agent Systems.

Published in: ECAI Workshop on Agent Theories, Architectures, and Languages (1994)