Towards Automatic Control for CLP(x) Programs

@inproceedings{Mesnard1995TowardsAC,
  title={Towards Automatic Control for CLP(x) Programs},
  author={Fr{\'e}d{\'e}ric Mesnard},
  booktitle={LOPSTR},
  year={1995}
}