@Article{Lin94-StateConstraints,
  Title                    = {State Constraints Revisited},
  Author                   = {Lin, Fangzhen and Reiter, Ray},
  Journal                  = {Journal of Logic and Computation},
  Year                     = {1994},
  Number                   = {5},
  Pages                    = {655--678},
  Volume                   = {4},

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

{"_id":{"_str":"534279640e946d920a0017e2"},"__v":7,"authorIDs":["54594cc9b43425b77200045e","54595b5eb43425b7720004ab"],"author_short":["Lin, F.","Reiter, R."],"bibbaseid":"lin-reiter-stateconstraintsrevisited-1994","bibdata":{"bibtype":"article","type":"article","title":"State Constraints Revisited","author":[{"propositions":[],"lastnames":["Lin"],"firstnames":["Fangzhen"],"suffixes":[]},{"propositions":[],"lastnames":["Reiter"],"firstnames":["Ray"],"suffixes":[]}],"journal":"Journal of Logic and Computation","year":"1994","number":"5","pages":"655–678","volume":"4","file":"constraint.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/constraint.pdf:PDF;constraint.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/constraint.ps:PostScript","key":"Lin94-StateConstraints","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/constraint.ps.gz","timestamp":"2018.09.23","url":"constraint.pdf","bibtex":"@Article{Lin94-StateConstraints,\n Title = {State Constraints Revisited},\n Author = {Lin, Fangzhen and Reiter, Ray},\n Journal = {Journal of Logic and Computation},\n Year = {1994},\n Number = {5},\n Pages = {655--678},\n Volume = {4},\n\n File = {constraint.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/constraint.pdf:PDF;constraint.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/constraint.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/constraint.ps.gz},\n Timestamp = {2018.09.23},\n Url = {constraint.pdf}\n}\n\n","author_short":["Lin, F.","Reiter, R."],"id":"Lin94-StateConstraints","bibbaseid":"lin-reiter-stateconstraintsrevisited-1994","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/constraint.pdf"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":3,"keywords":[],"search_terms":["state","constraints","revisited","lin","reiter"],"title":"State Constraints Revisited","year":1994,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}