Chitta Baral Embedding Revision Programs in Logic Programming Situation Calculus. 83-97 1997 30 J. Log. Program. 1 db/journals/jlp/jlp30.html#Baral97