@article{journals/tcs/KaminskiW96,
  added-at = {2003-11-19T00:00:00.000+0100},
  author = {Kaminski, Michael and Wong, Chung Kei},
  biburl = {http://www.bibsonomy.org/bibtex/2613e23526f9fc76e1f0b8531b7a43238/dblp},
  date = {2003-11-19},
  description = {dblp},
  ee = {http://dx.doi.org/10.1016/0304-3975(95)00108-5},
  interhash = {d62c057611a3b4d02061e480c7774ea5},
  intrahash = {613e23526f9fc76e1f0b8531b7a43238},
  journal = {Theor. Comput. Sci.},
  keywords = {dblp},
  number = {1&2},
  pages = {271-281},
  timestamp = {2003-11-19T00:00:00.000+0100},
  title = {The Power of the "Always" Operator in First-Order Temporal Logic.},
  url = {http://dblp.uni-trier.de/db/journals/tcs/tcs160.html#KaminskiW96},
  volume = 160,
  year = 1996
}

{"_id":"L3LPnZT6BkpY3ZA37","bibbaseid":"kaminski-wong-thepowerofthealwaysoperatorinfirstordertemporallogic-1996","downloads":0,"creationDate":"2016-04-12T13:16:36.110Z","title":"The Power of the \"Always\" Operator in First-Order Temporal Logic.","author_short":["Kaminski, M.","Wong, C. K."],"year":1996,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2003-11-19T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Wong"],"firstnames":["Chung","Kei"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2613e23526f9fc76e1f0b8531b7a43238/dblp","date":"2003-11-19","description":"dblp","ee":"http://dx.doi.org/10.1016/0304-3975(95)00108-5","interhash":"d62c057611a3b4d02061e480c7774ea5","intrahash":"613e23526f9fc76e1f0b8531b7a43238","journal":"Theor. Comput. Sci.","keywords":"dblp","number":"1&2","pages":"271-281","timestamp":"2003-11-19T00:00:00.000+0100","title":"The Power of the \"Always\" Operator in First-Order Temporal Logic.","url":"http://dblp.uni-trier.de/db/journals/tcs/tcs160.html#KaminskiW96","volume":"160","year":"1996","bibtex":"@article{journals/tcs/KaminskiW96,\n added-at = {2003-11-19T00:00:00.000+0100},\n author = {Kaminski, Michael and Wong, Chung Kei},\n biburl = {http://www.bibsonomy.org/bibtex/2613e23526f9fc76e1f0b8531b7a43238/dblp},\n date = {2003-11-19},\n description = {dblp},\n ee = {http://dx.doi.org/10.1016/0304-3975(95)00108-5},\n interhash = {d62c057611a3b4d02061e480c7774ea5},\n intrahash = {613e23526f9fc76e1f0b8531b7a43238},\n journal = {Theor. Comput. Sci.},\n keywords = {dblp},\n number = {1&2},\n pages = {271-281},\n timestamp = {2003-11-19T00:00:00.000+0100},\n title = {The Power of the \"Always\" Operator in First-Order Temporal Logic.},\n url = {http://dblp.uni-trier.de/db/journals/tcs/tcs160.html#KaminskiW96},\n volume = 160,\n year = 1996\n}\n\n","author_short":["Kaminski, M.","Wong, C. K."],"key":"journals/tcs/KaminskiW96","id":"journals/tcs/KaminskiW96","bibbaseid":"kaminski-wong-thepowerofthealwaysoperatorinfirstordertemporallogic-1996","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/0304-3975(95)00108-5","Paper":"http://dblp.uni-trier.de/db/journals/tcs/tcs160.html#KaminskiW96"},"keyword":["dblp"],"downloads":0},"search_terms":["power","always","operator","first","order","temporal","logic","kaminski","wong"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}