Provably correct theories of actions: preliminary report (1991)

by F Lin, Y Shoham
Venue:In Proc. of AAAI{91