Hudson Turner Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach. 245-298 1997 31 J. Log. Program. 1-3 db/journals/jlp/jlp31.html#Turner97