Finite Fixed-Point Problems.

@inproceedings{OKeefe1987FiniteFP,
  title={Finite Fixed-Point Problems.},
  author={Richard A. O'Keefe},
  booktitle={ICLP},
  year={1987}
}