@article{ Lin94-StateConstraints,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/constraint.ps}
}
,
  title = {State Constraints Revisited}
}
,
  url = {constraint.pdf}
}
,
  journal = {Journal of Logic and Computation}
}
,
  author = {Lin, Fangzhen and Reiter, Ray}
}
,
  number = {5}
}
,
  volume = {4}
}
,
  key = {CogRobo}
}
,
  year = {1994}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/constraint.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/constraint.pdf}
}
,
  pages = {655--678}
}