A Note on Linear Resolution Strategies in Consequence-Finding

Eliana Minicozzi, Raymond Reiter. A Note on Linear Resolution Strategies in Consequence-Finding. Artificial Intelligence, 3(1-3):175-180, 1972.

@article{MinicozziR72,
  title = {A Note on Linear Resolution Strategies in Consequence-Finding},
  author = {Eliana Minicozzi and Raymond Reiter},
  year = {1972},
  researchr = {https://researchr.org/publication/MinicozziR72},
  cites = {0},
  citedby = {0},
  journal = {Artificial Intelligence},
  volume = {3},
  number = {1-3},
  pages = {175-180},
}