Herbrand Constraint Solving in HAL

@inproceedings{Demoen1999HerbrandCS,
  title={Herbrand Constraint Solving in HAL},
  author={Bart Demoen and Maria Garcia de la Banda and Warwick Harvey and Kim Marriott and Peter J. Stuckey},
  booktitle={ICLP},
  year={1999}
}