A First-Order Theory of Communication and MultiAgent Plans (2005)

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