Disjunctive Strictness Analysis

@inproceedings{Jensen1992DisjunctiveSA,
  title={Disjunctive Strictness Analysis},
  author={Thomas P. Jensen},
  booktitle={LICS},
  year={1992}
}