James Delgrande, Aaron Hunter and Torsten Grote. Modelling
Cryptographic Protocols in a Theory of Action
Hojjat Ghaderi, Hector Levesque and Yves Lesperance. On Joint
Ability in the Presence of Sensing