@Article{Reiter93,
  Title                    = {Proving Properties of States in the Situation Calculus},
  Author                   = {Reiter, Ray},
  Journal                  = {Artificial Intelligence},
  Year                     = {1993},
  Pages                    = {337--351},
  Volume                   = {64},

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

{"_id":{"_str":"5342b4530e946d920a00334d"},"__v":5,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R."],"bibbaseid":"reiter-provingpropertiesofstatesinthesituationcalculus-1993","bibdata":{"bibtype":"article","type":"article","title":"Proving Properties of States in the Situation Calculus","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["Ray"],"suffixes":[]}],"journal":"Artificial Intelligence","year":"1993","pages":"337–351","volume":"64","file":"induction.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/induction.pdf:PDF;induction.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/induction.ps:PostScript","key":"Reiter93","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/induction.ps.gz","timestamp":"2018.09.23","url":"induction.pdf","bibtex":"@Article{Reiter93,\n Title = {Proving Properties of States in the Situation Calculus},\n Author = {Reiter, Ray},\n Journal = {Artificial Intelligence},\n Year = {1993},\n Pages = {337--351},\n Volume = {64},\n\n File = {induction.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/induction.pdf:PDF;induction.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/induction.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/induction.ps.gz},\n Timestamp = {2018.09.23},\n Url = {induction.pdf}\n}\n\n","author_short":["Reiter, R."],"id":"Reiter93","bibbaseid":"reiter-provingpropertiesofstatesinthesituationcalculus-1993","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/induction.pdf"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":3,"keywords":[],"search_terms":["proving","properties","states","situation","calculus","reiter"],"title":"Proving Properties of States in the Situation Calculus","year":1993,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}