Huang, Zhisheng and Michael Masuch: ALX3, A Multi-Agent Action Logic. Presented at: Stanford Spring Symposium on Reasoning about Actions. Venue: Stanford, CA, USA, 1995. Topics: [multiagents]. Code: [Huang95A].