@Unpublished{Lin-Un1,
  Title                    = {A semantics for cut in the situation calculus},
  Author                   = {Lin, F.},
  Note                     = {Draft},
  Year                     = { },

  File                     = {cut.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/cut.pdf:PDF;cut.ps:http\://www.cs.toronto.edu/cogrobo/Papers/cut.ps:PostScript},
  Key                      = {CogRobo-UN},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/cut.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {cut.pdf}
}

{"_id":{"_str":"5342b4520e946d920a0032e6"},"__v":3,"authorIDs":["54594cc9b43425b77200045e"],"author_short":["Lin, F."],"bibbaseid":"lin-asemanticsforcutinthesituationcalculus","bibdata":{"bibtype":"unpublished","type":"unpublished","title":"A semantics for cut in the situation calculus","author":[{"propositions":[],"lastnames":["Lin"],"firstnames":["F."],"suffixes":[]}],"note":"Draft","year":"","file":"cut.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/cut.pdf:PDF;cut.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/cut.ps:PostScript","key":"Lin-Un1","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/cut.ps.gz","timestamp":"2018.09.23","url":"cut.pdf","bibtex":"@Unpublished{Lin-Un1,\n Title = {A semantics for cut in the situation calculus},\n Author = {Lin, F.},\n Note = {Draft},\n Year = { },\n\n File = {cut.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/cut.pdf:PDF;cut.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/cut.ps:PostScript},\n Key = {CogRobo-UN},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/cut.ps.gz},\n Timestamp = {2018.09.23},\n Url = {cut.pdf}\n}\n\n","author_short":["Lin, F."],"id":"Lin-Un1","bibbaseid":"lin-asemanticsforcutinthesituationcalculus","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/cut.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"unpublished","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["semantics","cut","situation","calculus","lin"],"title":"A semantics for cut in the situation calculus","year":null,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}