The Power of the "Always" Operator in First-Order Temporal Logic. Kaminski, M. & Wong, C. K. Theor. Comput. Sci., 160(1&2):271-281, 1996.
The Power of the "Always" Operator in First-Order Temporal Logic. [link]Link  The Power of the "Always" Operator in First-Order Temporal Logic. [link]Paper  bibtex   
@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
}

Downloads: 0