@article{ Reiter96b,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/schedule.ps}
}
,
  author = {Reiter, R. and Zheng, Y.}
}
,
  url = {schedule.pdf}
}
,
  journal = {Annals of Mathematics and Artificial Intelligence. Special issue on logic programming, nonmonotonic reasoning and action}
}
,
  title = {Scheduling in the situation calculus: A case study}
}
,
  key = {CogRobo}
}
,
  year = {1996}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/schedule.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/schedule.pdf}
}
,
  pages = {}
}