Efficient Groundness Analysis in Prolog

Jacob M. Howe, Andy King. Efficient Groundness Analysis in Prolog. TPLP, 3(1):95-124, 2003.

@article{HoweK03,
  title = {Efficient Groundness Analysis in Prolog},
  author = {Jacob M. Howe and Andy King},
  year = {2003},
  tags = {Prolog, analysis},
  researchr = {https://researchr.org/publication/HoweK03},
  cites = {0},
  citedby = {0},
  journal = {TPLP},
  volume = {3},
  number = {1},
  pages = {95-124},
}