Deriving Constraints Among Argument Sizes in Logic Programs

@inproceedings{Gelder1990DerivingCA,
  title={Deriving Constraints Among Argument Sizes in Logic Programs},
  author={Allen Van Gelder},
  booktitle={PODS},
  year={1990}
}