Chitta Baral Michael Gelfond Alessandro Provetti Representing Actions: Laws, Observations and Hypotheses. 201-243 1997 31 J. Log. Program. 1-3 db/journals/jlp/jlp31.html#BaralGP97 http://dx.doi.org/10.1016/S0743-1066(96)00141-0