A first-order theory of communication and multi-agent plans (2005)

by E Davis, L Morgenstern
Venue:Journal of Logic and Computation