@unpublished{ Lin-Un1,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/cut.ps}
}
,
  author = {Lin, F.}
}
,
  url = {cut.pdf}
}
,
  title = {A semantics for cut in the situation calculus}
}
,
  note = {Draft}
}
,
  key = {CogRobo-UN}
}
,
  year = { }
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/cut.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/cut.pdf}
}