Chitta Baral Michael Gelfond Reasoning About Effects of Concurrent Actions. 85-117 1997 31 J. Log. Program. 1-3 db/journals/jlp/jlp31.html#BaralG97