Enumeration of Success Patterns in Logic Programs

@inproceedings{Sato1983EnumerationOS,
  title={Enumeration of Success Patterns in Logic Programs},
  author={Taisuke Sato and Hisao Tamaki},
  booktitle={ICALP},
  year={1983}
}
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…