LevesquePR98'

BibTeX

@article{DBLP:journals/etai/LevesquePR98,
  author    = {Hector J. Levesque and
               Fiora Pirri and
               Raymond Reiter},
  title     = {Foundations for the Situation Calculus},
  journal   = {Electron. Trans. Artif. Intell.},
  volume    = {2},
  year      = {1998},
  pages     = {159-178},
  ee        = {http://www.ep.liu.se/ej/etai/1998/005/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}