@InProceedings{Ternovskaia99,
  Title                    = {Automata heory for reasoning about action},
  Author                   = {Ternovskaia, E.},
  Booktitle                = {Proc. IJCAI-99},
  Year                     = {1999},

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

{"_id":{"_str":"5342b4530e946d920a00334a"},"__v":4,"authorIDs":["549d00348e3bca5f37000dcc"],"author_short":["Ternovskaia, E."],"bibbaseid":"ternovskaia-automataheoryforreasoningaboutaction-1999","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Automata heory for reasoning about action","author":[{"propositions":[],"lastnames":["Ternovskaia"],"firstnames":["E."],"suffixes":[]}],"booktitle":"Proc. IJCAI-99","year":"1999","file":"dec.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/dec.pdf:PDF;dec.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/dec.ps:PostScript","key":"Ternovskaia99","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/dec.ps.gz","timestamp":"2018.09.23","url":"dec.pdf","bibtex":"@InProceedings{Ternovskaia99,\n Title = {Automata heory for reasoning about action},\n Author = {Ternovskaia, E.},\n Booktitle = {Proc. IJCAI-99},\n Year = {1999},\n\n File = {dec.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/dec.pdf:PDF;dec.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/dec.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/dec.ps.gz},\n Timestamp = {2018.09.23},\n Url = {dec.pdf}\n}\n\n","author_short":["Ternovskaia, E."],"id":"Ternovskaia99","bibbaseid":"ternovskaia-automataheoryforreasoningaboutaction-1999","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/dec.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["automata","heory","reasoning","action","ternovskaia"],"title":"Automata heory for reasoning about action","year":1999,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}