A Hole in Goal Trees: Some Guidance from Resolution Theory - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Donald W. Loveland, Mark E. Stickel. A Hole in Goal Trees: Some Guidance from Resolution Theory. IEEE Transactions on Computers, 25(4):335-341, 1976.

@article{LovelandS76,
  title = {A Hole in Goal Trees: Some Guidance from Resolution Theory},
  author = {Donald W. Loveland and Mark E. Stickel},
  year = {1976},
  tags = {e-science},
  researchr = {https://researchr.org/publication/LovelandS76},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Computers},
  volume = {25},
  number = {4},
  pages = {335-341},
}

runs on WebDSL