A Very Intelligent Backtracking Method for Logic Programs

@inproceedings{Codognet1986AVI,
  title={A Very Intelligent Backtracking Method for Logic Programs},
  author={Christian Codognet and Philippe Codognet and Gilberto Fil{\'e}},
  booktitle={ESOP},
  year={1986}
}