Chitta Baral Luis Floriano Alfredo Gabaldon David Morales Tran Cao Son Richard G. Watson A Reactive Mobile Robot Based on a Formal Theory of Action. 1350 1996 AAAI/IAAI, Vol. 2 db/conf/aaai/aaai96-2.html#BaralFGMSW96