@inproceedings{ Lin97d,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.ps}
}
,
  title = {Applications of the situation calculus to formalizing control and strategic information: The Prolog cut operator}
}
,
  url = {lin-ijcai97.pdf}
}
,
  booktitle = {In Proceedings of IJCAI-97}
}
,
  author = {Lin, Fangzhen}
}
,
  note = {(IJCAI-97 Distinguished Paper Award)}
}
,
  key = {CogRobo}
}
,
  year = {1997}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/lin-ijcai97.pdf}
}
,
  pages = {1412--1418}
}