Worst-case groundness analysis using definite boolean functions - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Samir Genaim, Jacob M. Howe, Michael Codish. Worst-case groundness analysis using definite boolean functions. TPLP, 1(5):611-615, 2001.

@article{GenaimHC01,
  title = {Worst-case groundness analysis using definite boolean functions},
  author = {Samir Genaim and Jacob M. Howe and Michael Codish},
  year = {2001},
  tags = {analysis},
  researchr = {https://researchr.org/publication/GenaimHC01},
  cites = {0},
  citedby = {0},
  journal = {TPLP},
  volume = {1},
  number = {5},
  pages = {611-615},
}

runs on WebDSL