Chitta Baral Nam Tran Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. 33-46 2005 79 Studia Logica 1 http://dx.doi.org/10.1007/s11225-005-0493-x db/journals/sLogica/sLogica79.html#BaralT05