@article{ Reiter93,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/induction.ps}
}
,
  title = {Proving Properties of States in the Situation Calculus}
}
,
  url = {induction.pdf}
}
,
  journal = {Artificial Intelligence}
}
,
  author = {Reiter, Ray}
}
,
  volume = {64}
}
,
  key = {CogRobo}
}
,
  year = {1993}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/induction.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/induction.pdf}
}
,
  pages = {337--351}
}